Isabelle logo

Manuel Eberl

Chair for Logic and Verification

A De­ci­sion Pro­ce­dure for Uni­vari­ate Real Poly­no­mi­als in Isa­belle/​HOL

by Manuel Eberl

In: Pro­ceed­ings of the 2015 Con­fer­ence on Cer­ti­fied Pro­grams and Proofs

DOI:

10.1145/2676724.2693166

Download preprint PDF (285 KiB)

BibTeX:

@inproceedings{eberl15cpp,
 author = {Eberl, Manuel},
 title = {A Decision Procedure for Univariate Real Polynomials in {I}sabelle/{HOL}},
 booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs},
 series = {CPP '15},
 year = {2015},
 isbn = {978-1-4503-3296-5},
 location = {Mumbai, India},
 pages = {75--83},
 numpages = {9},
 doi = {10.1145/2676724.2693166},
 acmid = {2693166},
 publisher = {ACM},
 address = {New York, NY, USA}
}

Download BibTeX (461 Bytes)

(The final publication is available at ACM)