scientific article; zbMATH DE number 1745042

zbMath0985.68058MaRDI QIDQ4531862

F. Puitg, Nicolas Peltier, Ricardo Caferra

Publication date: 23 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2061/20610268

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

analogycomputer assisted learningautomated geometric reasoningmodel (counter-example) buildingproof structuring with diagrams

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Mechanization of proofs and logical operations (03B35)

Related Items (2)

A review and prospect of readable machine proofs for geometry theorems ⋮ HOARD ATINF

Uses Software

• Cinderella
• SCOTT

This page was built for publication: