n.
any rational or irrational number
同义词：real number
an old small silver Spanish coin
Recursively enumerable reals and chaitin Ω numbers
Computing over the Reals: Foundations for Scientific Computing
Non-verbal numerical cognition: From reals to integers
Recursively enumerable reals and Chaitin Ω ja:math numbers ☆ ☆☆
dReal: an SMT solver for nonlinear theories over the reals
dReal: An SMT Solver for Nonlinear Theories over the Reals
δ-complete decision procedures for satisfiability over the reals
δ-Complete Decision Procedures for Satisfiability over the Reals
On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geomet...
On the computational complexity and geometry of the first-order theory of the reals. Par I: Introduction. Preliminaries. The geometr...
