Treffer: Interfacing external CA systems for Grobner bases computation in Mizar proof checking.

Title:
Interfacing external CA systems for Grobner bases computation in Mizar proof checking.
Authors:
Naumowicz, Adam1 (AUTHOR) adamn@mizar.org
Source:
International Journal of Computer Mathematics. Jan2010, Vol. 87 Issue 1, p1-11. 11p. 1 Chart.
Subject Terms:
Case studies, Gröbner bases, Concurrent Aggregates (Computer program language), Algebra software, Mathematical analysis, Mathematics research, Mathematical proofs
Database:
Library, Information Science & Technology Abstracts

Weitere Informationen

In this paper, we report on the results of a case study aimed at selecting a prospective CA system to be used by the Mizar proof-checking system for performing computations of Grobner bases in Mizar's module responsible for equality calculus. A rudimentary interface has been implemented for each of considered CA systems, and tested in order to assess its feasibility in connection with the Mizar proof checker. [ABSTRACT FROM AUTHOR]