Mechanical Mathematicians - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Communications of the ACM Year : 2023

Dates and versions

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

Licence

Identifiers

Cite

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⟩
21 View
17 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More