View in EDS HTML Full Text PDF Full Text

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

Saved in:
Bibliographic Details
Title: Interfacing external CA systems for Grobner bases computation in Mizar proof checking.
Authors: Naumowicz, Adam1, adamn@mizar.org
Source: International Journal of Computer Mathematics; Jan2010, Vol. 87 Issue 1, p1-11, 11p, 1 Chart
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:00207160
DOI:10.1080/00207160701864459