Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9657241 | The Journal of Logic and Algebraic Programming | 2005 | 27 Pages |
Abstract
This arithmetic is the first real arithmetic with mathematically proved algorithms.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Valérie Ménissier-Morain,