scientific article; zbMATH DE number 1222580
From MaRDI portal
Publication:4218119
zbMath0913.65009MaRDI QIDQ4218119
Publication date: 10 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmsfunctional languagesmaximum valuedomain theorydefinite integrationexact real arithmeticlazy functional programmingreal-valued functionals
Numerical mathematical programming methods (65K05) Algorithms for approximation of functions (65D15) Numerical quadrature and cubature formulas (65D32) Logic programming (68N17)
Related Items (9)
A domain-theoretic framework for robustness analysis of neural networks ⋮ An abstract data type for real numbers ⋮ A Functional Algorithm for Exact Real Integration with Invariant Measures ⋮ First-Order Universality for Real Programs ⋮ Computability of Continuous Solutions of Higher-Type Equations ⋮ The constructive reals as a Java library ⋮ A computer-verified monadic functional implementation of the integral ⋮ A Computational Interpretation of Forcing in Type Theory ⋮ Integration in Real PCF
This page was built for publication:
