Wird geladen...
A Verified Implementation of Algebraic Numbers in Isabelle/HOL
We formalize algebraic numbers in Isabelle/HOL. Our development serves as a verified implementation of algebraic operations on real and complex numbers. We moreover provide algorithms that can identify all the real or complex roots of rational polynomials, and two implementations to display algebrai...
Gespeichert in:
| Veröffentlicht in: | J Autom Reason |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Springer Netherlands
2018
|
| Schlagworte: | |
| Online Zugang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7089722/ https://ncbi.nlm.nih.gov/pubmed/32226180 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-018-09504-w |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|