Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover (Q6136749)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover |
scientific article; zbMATH DE number 7732883
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover |
scientific article; zbMATH DE number 7732883 |
Statements
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover (English)
0 references
31 August 2023
0 references
theorem prover
0 references
transcendental functions
0 references
floating-point algorithms
0 references
0.7598647475242615
0 references
0.7462198734283447
0 references
