Implementing the cylindrical algebraic decomposition within the Coq system : Constructive analysis, types and exact real numbers
In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 17(1):99-127; Jg. 17 (2007) 1, S. 99-127
Online
Konferenz
Zugriff:
Titel: |
Implementing the cylindrical algebraic decomposition within the Coq system : Constructive analysis, types and exact real numbers
|
---|---|
Autor/in / Beteiligte Person: | Mahboubi, A. |
Link: | |
Quelle: | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 17(1):99-127; Jg. 17 (2007) 1, S. 99-127 |
Veröffentlichung: | 2007 |
Medientyp: | Konferenz |
ISSN: | 0960-1295 (print) |
Sonstiges: |
|