SHRAD: A language for sequential real number computation

DOI10.1007/s00224-006-1339-2zbMath1127.68022OpenAlexW1967281058MaRDI QIDQ2642903

Amin Farjudian

Publication date: 6 September 2007

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-006-1339-2

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (3)

Recursive solution of initial value problems with temporal discretization ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ SHRAD

This page was built for publication: SHRAD: A language for sequential real number computation