Non-standard analysis in dynamic geometry
Article in Journal of Symbolic Computation (March 2020)
The most recent citing publications are shown below. View all 13 publications that cite this research output on Dimensions.
Article in Journal of Symbolic Computation (March 2020)
Preprint in arXiv (September 2018)
Preprint in arXiv (January 2018)