Non-standard analysis in dynamic geometry

DOI10.1016/J.JSC.2018.12.006MaRDI QIDQ2334581zbMATH OpenOpenAlexWikidataFDO

Authors 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

dynamic projective geometrynonstandard analysisremoval of singularities

Mathematics Subject Classification ID

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

Abstract: We will present the benefits of using methods of non-standard analysis in dynamic projective geometry. One major application will be the desingulariazation of geometric constructions.

Cites work

• A constructive approach to nonstandard analysis
• About tracing problems in dynamic geometry
• Analysis on the Levi-Civita field, a brief overview
• CindyJS
• Eine Erweiterung der Infinitesimalrechnung
• Evaluating Derivatives
• Function theory 1
• scientific article; zbMATH DE number 1646230 (Why is no real title available?)
• scientific article; zbMATH DE number 3520681 (Why is no real title available?)
• scientific article; zbMATH DE number 3559571 (Why is no real title available?)
• scientific article; zbMATH DE number 1222940 (Why is no real title available?)
• scientific article; zbMATH DE number 1966261 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 1746666 (Why is no real title available?)
• scientific article; zbMATH DE number 1795224 (Why is no real title available?)
• scientific article; zbMATH DE number 819814 (Why is no real title available?)
• scientific article; zbMATH DE number 852360 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Non-standard analysis
• Perspectives on projective geometry. A guided tour through real and complex geometry
• Plane algebraic curves. Transl. from the German by John Stillwell
• Probability and Computing
• Solution of the identity problem for integral exponential functions
• The Cinderella.2 Manual

Cited in

(1)

• Spaces of measurable functions on the Levi-Civita field

Describes a project that uses

Uses Software

• Isabelle/HOL
• Cinderella
• CindyJS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334581)