Clifford Algebra, Non-commutative Gröbner Bases and Geometry Theorem Proving
Dongming Wang, LEIBNIZ-IMAG-CNRS, Grenoble, France
Abstract:
In this talk we explain how to represent geometric notions
by means of Clifford algebras. A basic view is given on the
need and usefulness of algorithms for non-commutative algebras,
and non-commutative Gr\"obner bases are taken as an example
of systematic approaches on coordinate-free techniques for
geometry theorem proving. We argue that Clifford algebra
can be used as a suitable language on devising methods and
software tools for geometric reasoning and computation.