scientific article; zbMATH DE number 2089089

MaRDI QIDQ3046277zbMATH OpenFDO

Authors J. P. Spagnol

Publication date 12 August 2004

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

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Artificial intelligence (68T99) Computing methodologies and applications (68U99)

Recommendations

• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Realization of automatic reasoning system of geometry based on point-eliminating method
• Towards an Automated Geometer
• scientific article; zbMATH DE number 1745042
• Towards an Electronic Geometry Textbook

Cited in

(1)

• scientific article; zbMATH DE number 2000432 (Why is no real title available?)

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 Q3046277)