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  paper-conference
Stage   published
Year   2020
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6d285384-66a6-4e7a-a99d-a6149ee8ac8c
API URL: JSON