scientific article
From MaRDI portal
Publication:3155101
zbMath1090.15020MaRDI QIDQ3155101
Publication date: 14 January 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Clifford algebras, spinors (15A66) General theory of distance geometry (51K05)
Related Items (4)
Clifford fuzzy support vector machines for classification ⋮ Automated theorem proving practice with null geometric algebra ⋮ Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving ⋮ Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
This page was built for publication:
