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

zbMATH Open1420.68243MaRDI QIDQ5234585FDOQ5234585

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

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

zbMATH Keywords

bounded arithmeticpartial algebrasmodel of computationequivalent transformations of polynomialspreconditions of instructions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (1)

• Title not available (Why is that?)

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)