scientific article; zbMATH DE number 967404
From MaRDI portal
Publication:5690444
zbMath1114.68532MaRDI QIDQ5690444
Henry Crapo, Jürgen Richter-Gebert
Publication date: 16 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Challenging theorem provers with Mathematical Olympiad problems in solid geometry ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. ⋮ Weighted projective spaces and a generalization of Eves' theorem ⋮ Can one define geometry today? ⋮ Cancellation Patterns in Automatic Geometric Theorem Proving ⋮ A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
This page was built for publication:
