Non-standard analysis in dynamic geometry

DOI10.1016/j.jsc.2018.12.006zbMath1444.68278arXiv1801.10507OpenAlexW2786708682WikidataQ128651423 ScholiaQ128651423MaRDI QIDQ2334581

Michael Strobel

Publication date: 7 November 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1801.10507

zbMATH Keywords

removal of singularitiesnonstandard analysisdynamic projective geometry

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Nonstandard models in mathematics (03H05) Projective analytic geometry (51N15)

Related Items (1)

Spaces of measurable functions on the Levi-Civita field

Uses Software

• Cinderella
• Isabelle/HOL
• CindyJS

Cites Work

• Plane algebraic curves. Transl. from the German by John Stillwell
• Eine Erweiterung der Infinitesimalrechnung
• Isabelle/HOL. A proof assistant for higher-order logic
• A constructive approach to nonstandard analysis
• About tracing problems in dynamic geometry
• CindyJS
• Perspectives on Projective Geometry
• Evaluating Derivatives
• Probability and Computing
• The Cinderella.2 Manual
• Solution of the identity problem for integral exponential functions
• Function theory 1
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Non-standard analysis in dynamic geometry