Arithmetic IF

The arithmetic IF statement is a three-way arithmetic conditional statement, first seen in the first release of Fortran in 1957, and found in all…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

Arithmetic Transform (AT) [1, 16, 17] is an efficient spectral technique, to analyze range and precision of fixed-point…

2010

. It is shown that for a model of Presburger arithmetic to have an expansion to a model of Peano arithmetic it is necessary that…

2010

An injective map from the vertex set of a graph G—its order may not be finite—to the set of all natural numbers is called an…

2002

It has been shown that a 32-bit logarithmic arithmetic unit can operate faster than, and maintain the accuracy of, a 32-bit…

1997

Abstract. This paper proves that the division operation $\lfloor a/m\rfloor$ is provably total in the system $S_2^0$ of bounded…

1989

Abstract In spite of the fact that true arithmetic reduces to the monadic second-order theory of the real line, Peano arithmetic…

1986

Levinson's Toeplitz solver breaks down if any leading principal minors are zero, and recently methods have been proposed to…

1982

1980

There is an extended form of the simple GOTO statement called the Computed GOTO statement, which is used to go to one of several…

1969