Matematicheskie Trudy
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Mat. Tr.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Matematicheskie Trudy, 2005, Volume 8, Number 1, Pages 3–42 (Mi mt54)  

This article is cited in 2 scientific papers (total in 2 papers)

Mathematical Foundations of Computer Arithmetics

S. P. Kovalyov

Institute of Computing Technologies, Siberian Branch of the Russian Academy of Sciences
References:
Abstract: We propose mathematical methods aimed at formalizing the computer implementation of arithmetic computations. A model-theoretic method of partial interpretation is elaborated for constructing formal specifications of computation models which takes resource limitations into account. Using this method we produce and analyze various integer and rational computation models including, in particular, the positional number systems. Architecture models of the arithmetic are created based on the language of the finite-valued Łukasiewicz logic and logics that enrich it. The weak completeness of such logics enabled us to research into the structural characteristics of operations independent of the representation of numbers. In particular, the mechanisms of detection and processing overflows have been analyzed. Various computation models are represented as bases of logic functions. A technique is proposed for verifying the absence of overflow in computing arithmetic expressions by proving many-valued logic theorems.
Key words: computer arithmetic, partial interpretation, Łukasiewicz logic, overflow, carry flag.
Received: 28.07.2004
Bibliographic databases:
UDC: 519.68
Language: Russian
Citation: S. P. Kovalyov, “Mathematical Foundations of Computer Arithmetics”, Mat. Tr., 8:1 (2005), 3–42; Siberian Adv. Math., 15:4 (2005), 34–70
Citation in format AMSBIB
\Bibitem{Kov05}
\by S.~P.~Kovalyov
\paper Mathematical Foundations of Computer Arithmetics
\jour Mat. Tr.
\yr 2005
\vol 8
\issue 1
\pages 3--42
\mathnet{http://mi.mathnet.ru/mt54}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1955021}
\zmath{https://zbmath.org/?q=an:1097.03021}
\transl
\jour Siberian Adv. Math.
\yr 2005
\vol 15
\issue 4
\pages 34--70
Linking options:
  • https://www.mathnet.ru/eng/mt54
  • https://www.mathnet.ru/eng/mt/v8/i1/p3
  • This publication is cited in the following 2 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математические труды Siberian Advances in Mathematics
    Statistics & downloads:
    Abstract page:733
    Full-text PDF :344
    References:72
    First page:1
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024