Proof technology in mathematics research and teaching
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030284855
Date de publication :
18 oct. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era.