Interfacing external CA systems for Grobner bases computation in Mizar proof checking.
Saved in:
| 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.
Login for full access.
|
|
Be the first to leave a comment!
