scientific article; zbMATH DE number 871441
From MaRDI portal
Publication:4874803
zbMath0846.68093MaRDI QIDQ4874803
Predrag Janičić, Stevan Kordić
Publication date: 22 September 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Software, source code, etc. for problems pertaining to convex and discrete geometry (52-04) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)
Related Items (3)
EUCLID ⋮ A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs ⋮ Theorem proving as constraint solving with coherent logic
This page was built for publication:
