Merkliste 
 1 Ergebnisse 
 
1

Non-standard analysis in dynamic geometry:

Strobel, Michael
Journal of Symbolic Computation.  97 (2020)  - p. 69-108 , 2020