scientific article; zbMATH DE number 994741

MaRDI QIDQ3126572zbMATH OpenFDO

Authors Shang-Ching Chou, Xiao-Shan Gao

Publication date 6 July 1997

zbMATH Keywords

characteristic setGröbner basismechanical geometry theorem proving

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Geometric theorem proving by integrated logical and algebraic reasoning
• scientific article; zbMATH DE number 67455
• Publication:4946080
• scientific article; zbMATH DE number 3863269
• Algorithmic geometry. Foundations, methods, applications
• scientific article; zbMATH DE number 795220
• scientific article; zbMATH DE number 53663
• A survey of geometric algebra and geometric calculus
• scientific article; zbMATH DE number 5165709

Cited in

(5)

• SAGA -- Advances in ShApes, geometry, and algebra. Results from the Marie Curie initial training network, March 2008 -- October 2012
• scientific article; zbMATH DE number 67455 (Why is no real title available?)
• scientific article; zbMATH DE number 1263399 (Why is no real title available?)
• scientific article; zbMATH DE number 1077074 (Why is no real title available?)
• Automated generation of illustrated proofs in geometry and beyond

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3126572)