Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleInterfacing external CA systems for Gr\"obner bases computation in Mizar proof checking.
Author(s) Adam Naumowicz
TypeArticle in Journal
AbstractIn 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 Gröbner 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.
Keywords integrating automated deduction and computer algebra, MIZAR , Gröbner bases,
ISSN0020-7160; 1029-0265/e
URL http://www.tandfonline.com/doi/abs/10.1080/00207160701864459
LanguageEnglish
JournalInt. J. Comput. Math.
Volume87
Number1
Pages1--11
PublisherTaylor & Francis, Abingdon, Oxfordshire
Year2010
Edition0
Translation No
Refereed No
Webmaster