@misc{indiciaec484391b8d3a,
  title = {Computer Assisted Proofs and Automated Methods in Mathematics Education},
  author = {Thierry Noah Dana-Picard},
  year = {2023},
  doi = {10.4204/eptcs.375.2},
  url = {https://arxiv.org/abs/2303.10166},
  note = {Source identifier: 2303.10166}
}