Abstract State Machines with Exact Real Arithmetic

DOI10.1007/978-3-319-91271-4_10MaRDI QIDQ5881448zbMATH OpenOpenAlexFDO

Authors C. Beierle, Klaus-Dieter Schewe

Publication date 10 March 2023

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

Full work available at URL https://doi.org/10.1007/978-3-319-91271-4_10

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Classical models of computation (Turing machines, etc.) (68Q04)

Recommendations

• scientific article; zbMATH DE number 1670503
• The computable kernel of abstract state machines
• scientific article; zbMATH DE number 1696883
• scientific article; zbMATH DE number 1841822
• scientific article; zbMATH DE number 2172808
• scientific article; zbMATH DE number 1670502
• scientific article; zbMATH DE number 1543042

Cites work

• Abstract State Machines
• Choiceless polynomial time
• Computable Jordan decomposition of linear continuous functionals on \(C[0;1]\)
• CoreASM: an extensible ASM execution engine
• scientific article; zbMATH DE number 5605119 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1746032 (Why is no real title available?)
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• Implementing exact real arithmetic in python, C++ and C
• Numerical analysis.
• Refinement of rational end-points real numbers by means of floating-point numbers
• Semantics of a sequential language for exact real-number computation
• Using PVS to validate the algorithms of an exact arithmetic.

Cited in

(2)

• An approximation algorithm for box abstraction of transition systems on real state spaces
• The computable kernel of abstract state machines

Describes a project that uses

Uses Software

• CoreASM
• xrc

This page was built for publication: Abstract State Machines with Exact Real Arithmetic

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