Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3-4, S. 309-332
Online
academicJournal
Zugriff:
Titel: |
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
|
---|---|
Autor/in / Beteiligte Person: | Magaud, Nicolas ; Chollet, Agathe ; Fuchs, Laurent |
Link: | |
Zeitschrift: | Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3-4, S. 309-332 |
Veröffentlichung: | 2015 |
Medientyp: | academicJournal |
ISSN: | 1012-2443 (print) ; 1573-7470 (print) |
DOI: | 10.1007/s10472-014-9434-6 |
Sonstiges: |
|