BibTeX
CSL-JSON
MLA
Harvard
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
release_pn4r7ur7zzehjek6wfi5zes52y
by
Erika Abraham, James Davenport, Matthew England, Gereon Kremer, Zak Tonks
Published
in CEUR Workshop Proceedings by RWTH Aachen University.
2020 Volume 2020 : co-located with the 10th International Joint Conference on Automated Reasoning, Issue IJCAR 2020, p178
Archived Files and Locations
application/pdf 621.8 kB
file_q4owtpaipredzjkrxuxx2y7rjq
|
publications.rwth-aachen.de (publisher) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
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
oaDOI/unpaywall (OA fulltext)
Datacite Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Datacite Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar