Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (0)
Journals and Conferences
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)