Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking (Q5852118)
From MaRDI portal
scientific article; zbMATH DE number 5663059
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking |
scientific article; zbMATH DE number 5663059 |
Statements
Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking (English)
0 references
26 January 2010
0 references
integrating automated deduction and computer algebra
0 references
MIZAR
0 references
Gröbner bases
0 references
