论文信息 - Decision Algorithms for Some Fragments of Analysis and Related Areas - 字舞流文

Decision Algorithms for Some Fragments of Analysis and Related Areas

Domenico Cantone | Alfredo Ferro | Eugenio G. Omodeo | Jack Schwartz

[1] George B. Dantzig,et al. Linear programming and extensions , 1965 .

[2] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .

[3] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .