Abstract
A new ordering method is proposed for automated theorem proving of differential geometry, by which Cartan's moving frame method can be combined with Wu's elimination principle.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have