scientific article; zbMATH DE number 1745042
From MaRDI portal
Publication:4531862
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.
analogycomputer assisted learningautomated geometric reasoningmodel (counter-example) buildingproof structuring with diagrams
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Mechanization of proofs and logical operations (03B35)
Related Items (2)
Uses Software
This page was built for publication: