Combining Clifford algebraic computing and term-rewriting for geometric theorem proving

• Autorzy: Fevre, S. , Wang, D.
• Języki publikacji: EN

Abstrakty

EN

A general approach we have proposed for automatically proving geometric theorems requires both Clifford algebraic reduction and term-rewriting. This paper shows how efficient techniques and software tools developed in the areas of algebraic computation and term-rewriting can be combined for our purpose of theorem proving in geometry. Some investigations and experiments for concrete cases have been carried out by combining routines implemented in Maple V and Objective Caml. The experiments together with several examples illustrate the suitability and performance of our approach.

Słowa kluczowe

EN

system combination; algebraic computing; term rewriting; Clifford algebra

• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 39, Nr 1,2
• Strony: 85-104
• Opis fizyczny: bibliogr. 15 poz.

Twórcy

autor

Fevre, S.

autor

Wang, D.

• Laboratoire LEIBNIZ - Institut IMAG, 46 avenue Félix Viallet, 38031 Grenoble Cedex, France,