scientific article; zbMATH DE number 2009901

MaRDI QIDQ4434825zbMATH OpenFDO

Authors Francisco Botana

Publication date 26 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2657/26570801.htm

Mathematics Subject Classification ID

Euclidean analytic geometry (51N20) Learning and adaptive systems in artificial intelligence (68T05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Towards an Automated Geometer
• GeoThms -- a web system for Euclidean constructive geometry
• Development of automatic reasoning tools in GeoGebra
• An introduction to automated discovery in geometry through symbolic computation
• Towards the Automatic Discovery of Theorems in GeoGebra

Cited in

(9)

• A novel dynamic mathematics system based on the Internet
• A software tool for the investigation of plane loci
• Automated generation of geometric theorems from images of diagrams
• A Singular web service for geometric computations
• Geometry constructions language
• The web geometry laboratory project
• GeoThms -- a web system for Euclidean constructive geometry
• Computer discovered mathematics and applications in education
• scientific article; zbMATH DE number 2009909 (Why is no real title available?)

Describes a project that uses

Uses Software

• Cinderella
• Mathematica
• CoCoA
• webDiscovery
• Lugares

This page was built for publication:

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