BibTeX
CSL-JSON
MLA
Harvard
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
release_rii5ajbog5cnph7eelahlx44ou
by
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
Published
in Conference on Automated Deduction.
2020 p178-188
Archived Files and Locations
application/pdf 1.0 MB
file_klkhdeekanfw5nkoaqljgkmiqy
|
ceur-ws.org (web) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2020
paper-conference
Stage
published
Year 2020
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links