Publication:4218119
From MaRDI portal
zbMath0913.65009MaRDI QIDQ4218119
Publication date: 10 June 1999
algorithms; functional languages; maximum value; domain theory; definite integration; exact real arithmetic; lazy functional programming; real-valued functionals
65K05: Numerical mathematical programming methods
65D15: Algorithms for approximation of functions
65D32: Numerical quadrature and cubature formulas
68N17: Logic programming
Related Items
A Computational Interpretation of Forcing in Type Theory, A Functional Algorithm for Exact Real Integration with Invariant Measures, A domain-theoretic framework for robustness analysis of neural networks, A computer-verified monadic functional implementation of the integral, The constructive reals as a Java library, Integration in Real PCF, An abstract data type for real numbers, First-Order Universality for Real Programs, Computability of Continuous Solutions of Higher-Type Equations