Back to Search Start Over

AUTOMATED THEOREM PROVING IN PROJECTIVE GEOMETRY WITH BRACKET ALGEBRA.

Authors :
HONGBO LI
YIHONG WU
Source :
Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000); 2000, p120-129, 10p
Publication Year :
2000

Subjects

Subjects :
AUTOMATIC theorem proving
PROJECTIVE geometry
ALGEBRA
POLYNOMIALS
ELIMINATION (Mathematics)

Details

Language :
English
ISBNs :
9789810244989
Database :
Complementary Index
Journal :
Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000)
Publication Type :
Conference
Accession number :
129172794

Tools

Authors Abstract Subjects Details