Searching for "Elementary arithmetic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

312 documents found, showing 1 through 10. Next 10 →

Number theory and elementary arithmetic
by Jeremy Avigad — 2003 — Philosophia Mathematica
…Number theory and elementary arithmetic ∗ Jeremy Avigad June 12, 2002 Abstract Elementary…
Cited by 5 (2 self) – Add To MetaCart

Real Set Theory
by Nambiar Autumn Glen, K. K. Nambiar
… and Axiom of Choice hold good. Keywords—Elementary Arithmetic; Axiom of Monotonicity; ZF theory. 1…
Add To MetaCart

Book Rewew
by The Logic Of, R. J. Nelson, D. Reidel, Publishing Company
… child's arithmetic book. In elementary arithmetic the two dimensional character of the paper…
Add To MetaCart

First Order Logic with identity
by Crucial Things To — 2003
…this paper is divided into squares like a child's arithmetic book. In elementary arithmetic the two-dimesional character of the paper is sometimes used. But such a use is always avoidable, and I think that it will be agreed that the two-dimenstional character of paper is no essential oc computation.…
Add To MetaCart

PASCAL-XSC - New Concepts for Scientific Computation and Numerical Data Processing
by R. Hammer, M. Neaga, D. Ratz — 1993 — Scientific Computing with Automatic Result Verification
…, the elementary arithmetic operations on electronic computers are usually approximated by floating…
Cited by 6 (0 self) – Add To MetaCart

GASES On the Criterion for Effectiveness of Wave Linear Transformation in a Smoothly Inhomogeneous Medium and of Nonadiabatic Transitions during Atomic Collisions
by K. Yu. Bliokh A, S. V. Grinyok B — 2001
… to elementary arithmetic calculations. © 2001 MAIK “Nauka/Interperiodica”. 1. INTRODUCTION The problem…
Add To MetaCart

A traffic lights approach to PD validation
by Dirk Tasche — 2003
… be calculated with elementary arithmetic procedures as they are available for instance in MSExcel. Therefore we…
Add To MetaCart

On the Limits of Automatic Processor Specialisation by Mapping Dataflow Sections on Ad-hoc Functional Units
by Paolo Ienne, Laura Pozzi, Miljan Vuletic — 2002 — Sections on Ad-hoc Functional Units,” tech. rep., Swiss Federal Institute of Technology Lausanne Processor Architecture Laboratory, December 2001 - Updated
…-hoc functional units. These functional units can be used to map clusters of elementary arithmetic or logic…
Cited by 1 (0 self) – Add To MetaCart

Induction Rules, Reflection Principles, and Provably Recursive Functions
by Lev D. Beklemishev — 1995 — University of Utrecht
…, 1995 Abstract A well-known result of D. Leivant states that, over basic Kalmar elementary arithmetic…
Cited by 5 (2 self) – Add To MetaCart

From Finite Sets to Feynman Diagrams
by John C. Baez, James Dolan, Björn Engquist, Wilfried Schmid — 2001 — Mathematics Unlimited - 2001 And Beyond
… simplify and unify mathematics. We begin with elementary arithmetic, where the category of finite sets…
Cited by 17 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB