Lazy functional algorithms for exact real functionals

DOI10.1007/BFB0055795MaRDI QIDQ4218119zbMATH OpenFDO

Authors Alex Simpson

Publication date 10 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/12417914/download_2.pdf

zbMATH Keywords

algorithmsdefinite integrationdomain theoryexact real arithmeticfunctional languageslazy functional programmingmaximum valuereal-valued functionals

Mathematics Subject Classification ID

Algorithms for approximation of functions (65D15) Numerical quadrature and cubature formulas (65D32) Numerical mathematical programming methods (65K05) Logic programming (68N17)

Recommendations

• Lazy algorithms for exact real arithmetic
• scientific article; zbMATH DE number 3916254
• On computational algorithms for real-valued continuous functions of several variables
• Algorithmic aspects of Lipschitz functions
• On the query complexity of real functionals
• A functional algorithm for exact real integration with invariant measures
• On the time complexity of partial real functions
• Lazy computation with exact real numbers
• Lazy computation with exact real numbers
• A theory of even functionals and their algorithmic applications

Cited in

(23)

• Exact real number computations relative to hereditarily total functionals.
• The constructive reals as a Java library
• Integration in Real PCF
• An abstract data type for real numbers
• A monadic, functional implementation of real numbers
• A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
• First-order universality for real programs
• Computability of continuous solutions of higher-type equations
• Real number computability and domain theory
• scientific article; zbMATH DE number 1542839 (Why is no real title available?)
• Exact calculation of inverse functions
• The countdown problem
• scientific article; zbMATH DE number 2086646 (Why is no real title available?)
• Numerical integration with exact real arithmetic
• Lazy computation with exact real numbers
• A computational interpretation of forcing in type theory
• Programming Languages and Systems
• Lazy computation with exact real numbers
• A functional algorithm for exact real integration with invariant measures
• A domain-theoretic framework for robustness analysis of neural networks
• Asymptotic speedup via effect handlers
• A domain-theoretic approach to statistical programming languages
• A computer-verified monadic functional implementation of the integral

This page was built for publication: Lazy functional algorithms for exact real functionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4218119)