scientific article; zbMATH DE number 1746667
From MaRDI portal
Publication:4530836
zbMath0986.68124MaRDI QIDQ4530836
Publication date: 9 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Algebraization in linear incidence geometry (51A25)
Related Items (max. 100)
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Combinatorial rigidity of incidence systems and application to dictionary learning
This page was built for publication:
