𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Methods for justifying arithmetic hypotheses and computer algebra

✍ Scribed by N. M. Glazunov

Book ID
110190825
Publisher
SP MAIK Nauka/Interperiodica
Year
2006
Tongue
English
Weight
148 KB
Volume
32
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

METHODS IN ARITHMETIC AND ALGEBRA
METHODS IN ARITHMETIC AND ALGEBRA
✍ R. L. Short πŸ“‚ Article πŸ“… 1939 πŸ› School Science and Mathematics Association 🌐 English βš– 254 KB
Computer algebra methods for implicit dy
Computer algebra methods for implicit dynamic systems and applications
✍ Kurt Zehetleitner; Kurt Schlacher πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 147 KB

This contribution deals with the application of computer algebra methods to the analysis of systems of implicit ordinary differential equations. These systems are identified with submanifolds in a suitable jet space. We propose an implementation of the accessibility and observability analysis for im

DIFFERENCE BETWEEN ARITHMETIC AND ALGEBR
DIFFERENCE BETWEEN ARITHMETIC AND ALGEBRA
✍ Miller, G. A. πŸ“‚ Article πŸ“… 1935 πŸ› American Association for the Advancement of Scienc 🌐 English βš– 144 KB
Modular Arithmetic for Linear Algebra Co
Modular Arithmetic for Linear Algebra Computations in the Real Field
✍ I.Z. Emiris; V.Y. PAN; Y. YU πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 528 KB

The aim of this work is to decrease the bit precision required in computations without affecting the precision of the answer, whether this is computed exactly or within some tolerance. By precision we understand the number of bits in the binary representation of the values involved in the computatio

An algebraic method for computing
An algebraic method for computing
✍ MohΚΌD, Fida πŸ“‚ Article πŸ“… 2014 πŸ› Elsevier Science 🌐 English βš– 332 KB