Combining Pencil/Paper Proofs and Formal Proofs, A Challenge for Artificial Intelligence and Mathematics Education
Crossref DOI link: https://doi.org/10.1007/978-3-030-86909-0_8
Published Online: 2022-03-10
Published Print: 2022
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Narboux, Julien
Durand-Guerrier, Viviane
Text and Data Mining valid from 2022-01-01
Version of Record valid from 2022-01-01
Chapter History
First Online: 10 March 2022