scientific article
From MaRDI portal
Publication:2725960
zbMath1017.51015MaRDI QIDQ2725960
Publication date: 1 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Elementary problems in Euclidean geometries (51M04) Rings with straightening laws, Hodge algebras (13F50)
Related Items
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.
This page was built for publication:
