Implementing the cylindrical algebraic decomposition within the Coq system (Q3431546)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Implementing the cylindrical algebraic decomposition within the Coq system |
scientific article |
Statements
Implementing the cylindrical algebraic decomposition within the Coq system (English)
0 references
12 April 2007
0 references
decision procedure
0 references
automated deduction
0 references
