Verified exact real computation with nondeterministic functions and limits (Q6546605)
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: Verified exact real computation with nondeterministic functions and limits |
scientific article; zbMATH DE number 7856031
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified exact real computation with nondeterministic functions and limits |
scientific article; zbMATH DE number 7856031 |
Statements
Verified exact real computation with nondeterministic functions and limits (English)
0 references
29 May 2024
0 references
exact real computation
0 references
nondeterministic limits
0 references
unbounded nondeterminism
0 references
formal verification
0 references
0 references
