Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers

DOI10.1007/978-3-540-73001-9_23MaRDI QIDQ5425323zbMATH OpenOpenAlexFDO

Authors Gregorio de Miguel Casado, J. M. García-Chamizo, M. T. Signes-Pont

Publication date 13 November 2007

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

Full work available at URL https://doi.org/10.1007/978-3-540-73001-9_23

zbMATH Keywords

formal methods for VLSI designonline arithmeticType-2 Theory of Effectivity

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Mathematical problems of computer architecture (68M07) Abstract data types; algebraic specification (68Q65) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• Arbitrary precision real arithmetic: design and algorithms
• Mathematical model and implementation of rational processing
• Logical Approaches to Computational Barriers
• scientific article; zbMATH DE number 3856999
• scientific article; zbMATH DE number 1231646

Cited in

(1)

• Logical Approaches to Computational Barriers

This page was built for publication: Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers

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