MEDLAR

Duration

October 1989 - February 1992.

Director

Bruno Buchberger, Joachim Pfalzgraf.

Sponsored by

Austrian Ministery for Science and Research in the frame of ESPRIT (Basic Research Actions).

Goals

In cooperation with several European research groups, various approaches to automated theorem proving in important areas of mathematics are studied and improved. Among them is the algebraic approach to geometrical theorem proving based on Gröbner bases developed at RISC-Linz and the approaches by Wu and Collins. Particular emphasis is given to the possible applications of advanced automated deduction methods to robot programming, geometrical modeling and other areas of engineering.

The range of topics considered is best reflected by the list of publications in the frame of the project.

Selected Publications

Fatima Dargam, Jochen Pfalzgraf, Karel Stokkermans, Volker Stahl: Towards a toolkit for benchmarking scenarios in robot multi-tasking; RISC-Linz report series no. 91-45.

Karel Stokkermans: A categorical formulation for critical-pair/completion procedures; Proc. of the Int. Workshop on Conditional Term Rewriting Systems CTRS'92, Pont-a-Moisson, France, July 1992, Springer LNCS. To appear.

Dongming Wang: On Wu's method for solving systems of algebraic equations; Presented at AAECC-9, New Orleans, USA, October 1991, RISC-Linz report series no. 91-52.

Dongming Wang: Some improvements on Wu's method for solving systems of algebraic equations; Proc. Int. Workshop on Math. Mechanization, Beijing, China, July 1992. To appear.

Maintained by: The System Administration
Last Modification: March 7, 1997

[Up] [RISC-Linz] [University] [Search]