%0 Journal Article %1 journals/jsc/Strobel20 %A Strobel, Michael %D 2020 %J J. Symb. Comput. %K dblp %P 69-108 %T Non-standard analysis in dynamic geometry. %U http://dblp.uni-trier.de/db/journals/jsc/jsc97.html#Strobel20 %V 97

@article{journals/jsc/Strobel20, added-at = {2019-10-29T00:00:00.000+0100}, author = {Strobel, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2a155e85a66bb76a9a7d25ff1a8502b35/dblp}, ee = {https://doi.org/10.1016/j.jsc.2018.12.006}, interhash = {f0efee142cc4b66331a7998eaedbc9a7}, intrahash = {a155e85a66bb76a9a7d25ff1a8502b35}, journal = {J. Symb. Comput.}, keywords = {dblp}, pages = {69-108}, timestamp = {2019-10-30T11:38:12.000+0100}, title = {Non-standard analysis in dynamic geometry.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc97.html#Strobel20}, volume = 97, year = 2020 }