Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry

✍ Scribed by Li Hongbo; Cheng Minteh

• Book ID: 110229533
• Publisher: Springer Netherlands
• Year: 1998
• Tongue: English
• Weight: 188 KB
• Volume: 21
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1023/a:1005819428156