Symbolic geometric reasoning with advanced invariant algebras (Q2807816)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6585011
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Symbolic geometric reasoning with advanced invariant algebras |
scientific article; zbMATH DE number 6585011 |
Statements
Symbolic Geometric Reasoning with Advanced Invariant Algebras (English)
0 references
25 May 2016
0 references
Grassmann-Cayley algebra
0 references
Cayley bracket algebra
0 references
conformal geometric algebra
0 references
null bracket algebra
0 references
automated geometric theorem proving
0 references
0.8169427514076233
0 references
0.8033263683319092
0 references
0.8017755150794983
0 references
0.7968689799308777
0 references
