scientific article; zbMATH DE number 1159859
From MaRDI portal
Publication:4392227
zbMath0898.03006MaRDI QIDQ4392227
Publication date: 7 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
triangulationClifford algebraWu's methodmechanical geometry theorem provingalgebraic representation of plane geometry
Related Items
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.
This page was built for publication:
