Implementing the cylindrical algebraic decomposition within the Coq system.
In: Mathematical Structures in Computer Science, Jg. 17 (2007-02-01), Heft 1, S. 99-127
Online
academicJournal
Zugriff:
Titel: |
Implementing the cylindrical algebraic decomposition within the Coq system.
|
---|---|
Autor/in / Beteiligte Person: | ASSIA, MAHBOUBI |
Link: | |
Zeitschrift: | Mathematical Structures in Computer Science, Jg. 17 (2007-02-01), Heft 1, S. 99-127 |
Veröffentlichung: | 2007 |
Medientyp: | academicJournal |
ISSN: | 0960-1295 (print) |
DOI: | 10.1017/S096012950600586X |
Sonstiges: |
|