scientific article

zbMATH Open0866.68113MaRDI QIDQ3126575

Wen-tsün Wu

Publication date: 31 March 1997

Title of this publication is not available (Why is that?)

zbMATH Keywords

mechanical theorem provingmathematics mechanizationgeometry theorem-provingmechanizability

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Related Items (6)

GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry ⋮ Title not available (Why is that?) ⋮ From informal to formal proofs in Euclidean geometry ⋮ Euclidean geometry in terms of automata theory ⋮ Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry ⋮ Title not available (Why is that?)

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