References
- Abbot , J. 2006 . “ The design of CoCoALib ” . In ICMS 2006 , Edited by: Iglesias , A. and Takayama , N. 438 – 450 . Springer-Verlag . LNCS 4151
- Buchberger , B. 1979 . A criterion for detecting unnecessary reductions in the construction of Gröbner bases , Springer-Verlag . LNCS 72
- Buchberger , B. 1986 . “ Gröbner bases: An algorithmic method in polynomial ideal theory ” . In Recent Trends in Multidimensional Systems Theory , Edited by: Bose , N. K. 184 – 232 . D Reidel Publishing Company .
- CoCoATeam . 1995 . CoCoA: A system for doing computations in commutative algebra , Available at http://cocoa.dima.unige.it
- Eisenbud , D. 2001 . Computations in algebraic geometry with Macaulay 2 , Springer-Verlag . Algorithms and Computations in Mathematics Series
- Grayson , D. R. and Stillman , M. 2007 . Macaulay 2, a software system for research in algebraic geometry , Available at http://www.math.uiuc.edu/Macaulay2/
- Greuel , G.-M. and Pfister , G. 2002 . A Singular Introduction to Commutative Algebra , Springer-Verlag . (with contributions by O. Bachmann, C. Lossen, and H. Schönemann)
- Iglesias , A. and Takayama , N. 2006 . ICMS 2006 , Edited by: Iglesias , A. and Takayama , N. 438 – 450 . Springer-Verlag . LNCS 4151
- Kapur , D. 1988 . A refutational approach to geometry theorem proving . J. Artif. Intell. , 37 : 61 – 93 .
- Kutzler , B. and Stifter , S. 1986 . On the application of Buchberger's algorithm to automated geometry theorem proving . J. Symbolic Comput. , 2 ( 4 ) : 389 – 397 .
- Naumowicz , A. and Byliñski , C. 2002 . Basic elements of computer algebra in Mizar . Mech. Math. Appl. , 2 : 9 – 16 .
- Naumowicz , A. and Byliñski , C. 2004 . “ Improving Mizar texts with properties and requirements ” . In MKM 2004 , Edited by: Asperti , A. 290 – 301 . Springer-Verlag . LNCS 3119
- Rudnicki , P. , Schwarzweller , C. and Trybulec , A. 2001 . Commutative algebra in the Mizar system . J. Symbolic Comput. , 32 : 143 – 169 .
- Rudnicki , P. and Trybulec , A. 1999 . On equivalents of well-foundedness. An experiment in Mizar . J. Automat. Reason. , 23 : 197 – 234 .
- Rudnicki , P. and Trybulec , A. 2001 . “ Mathematical knowledge management in Mizar ” . In Electronic Proceedings of MKM 2001 Edited by: Buchberger , B. and Caprotti , O. Available at http://www.emis.de/proceedings/MKM2001/rudnicki.pdf
- The GAP Group . 2006 . GAP – Groups, Algorithms, and Programming , Version 4.4.9. Available at http://www.gap-system.org
- The Mizar Team . 2007 . The Mizar System Ver. 7.8.03, Mizar Mathematical Library Ver. 4.76.959 , Available at http://mizar.org
- Wiedijk , F. 2001 . Checker , Available at http://www.cs.ru.nl/~freek/mizar/by.ps.gz