Sorry, we do not have enough data to show an influence graph for this author.

#### Filter Results:

- Full text PDF available (0)

#### Publication Type

#### Journals and Conferences

Learn More

- W. Böqe
- ACM SIGSAM Bulletin
- 1976

Many problems in numerical mathematics can be described by formulas and sentences of elementary real algebra, i.e. by real variables, +, ., -, >, =, by logical operations [EQUATION] and by existential and universal quantifiers. In 1933 A. Tarski found a method which enables one to decide in a finite number of steps whether such a sentence is true or… (More)

- ‹
- 1
- ›