Mechanical Mathematicians - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Communications of the ACM Année : 2023

Dates et versions

hal-04298600 , version 1 (21-11-2023)

Licence

Paternité

Identifiants

Citer

Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirović, et al.. Mechanical Mathematicians. Communications of the ACM, 2023, 66 (4), pp.80-90. ⟨10.1145/3557998⟩. ⟨hal-04298600⟩
12 Consultations
10 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More