Rewriting input expressions in complex algebraic geometry provers

DOI10.1007/s10472-018-9590-1zbMath1423.13004OpenAlexW2806525680MaRDI QIDQ2631957

C. Sólyom-Gecse, Zoltán Kovács, Tomás Recio

Publication date: 16 May 2019

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-018-9590-1

zbMATH Keywords

automatic theorem provingelementary geometrydynamic geometry softwarecomplex algebraic geometryautomatic theorem deduction

Mathematics Subject Classification ID

Related Items (1)

Two almost-circles, and two real ones

Uses Software

• SINGULAR
• GeoGebra
• OpenGeoProver
• GEX
• JGEX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automated theorem proving in GeoGebra: current achievements
• Using Gröbner bases to reason about geometry problems
• A new approach for automatic theorem proving in real geometry
• Automatic discovery of theorems in elementary geometry
• An Introduction to Java Geometry Expert
• Development of automatic reasoning tools in GeoGebra
• Computational Science and Its Applications – ICCSA 2004

This page was built for publication: Rewriting input expressions in complex algebraic geometry provers