Un linguaggio per la programmazione matematica