Algebraic structure with partial operations and computational model for the arithmetic of bounded nonnegative numbers

MaRDI QIDQ5234585zbMATH OpenFDO

Authors M. V. Ulyanov, Yu. G. Smetanin

Publication date 27 September 2019

Full work available at URL http://www.ict.nsc.ru/jct/annotation/1560?l=eng

zbMATH Keywords

bounded arithmeticpartial algebrasmodel of computationequivalent transformations of polynomialspreconditions of instructions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Computer arithmetic: Logic, calculation, and rewriting
• Complex algebras of arithmetic
• scientific article; zbMATH DE number 2011585
• scientific article; zbMATH DE number 5041654
• Model-theoretic methods of analysis of computer arithmetic

Cited in

(1)

• scientific article; zbMATH DE number 2011585 (Why is no real title available?)

This page was built for publication: Algebraic structure with partial operations and computational model for the arithmetic of bounded nonnegative numbers

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