4 citations · 7 across the 5 of their papers we have counts for
Showing math.HOShow all
2 papers · 1 filter
math.HO2023★ 3 cited
Computer Assisted Proofs and Automated Methods in Mathematics Education
Thierry Noah Dana-Picard
This survey paper is an expanded version of an invited keynote at the ThEdu'22 workshop, August 2022, in Haifa (Israel). After a short introduction on the developments of CAS, DGS…
math.HO2021
Offsets of a regular trifolium
Thierry Dana-Picard, Zoltán Kovács
The non-uniqueness of a rational parametrization of a rational plane curve may influence the process of computing envelopes of 1-parameter families of plane curves. We study envelo…