Author:
Eaves B. Curtis,Rothblum Uriel G.
Publisher
Institute for Operations Research and the Management Sciences (INFORMS)
Subject
Management Science and Operations Research,Computer Science Applications,General Mathematics
Reference17 articles.
1. On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
2. Defending Critical Infrastructure
3. Collins GE (1975) Quantifier elimination for real closed fields by cylindrical algebraic decomposition.Automata Theory and Formal Languages 2nd GI Conf., Lecture Notes in Computer Science, Vol. 33 (Springer-Verlag, Berlin), 134–183.
4. A Theory on Extending Algorithms for Parametric Problems