Concepedia

Real-number Modeling

Real-Number Modeling is a formal modeling methodology in mixed-signal system design that represents signal behavior using continuous real-valued variables to distinguish it from discrete or quantized modeling approaches.

30

Publications

2K

Citations

61

Authors

37

Institutions

Publications per year

2017–2026

5

Variants

Rnm

Parents

Publications

30

On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals

James Renegar · Journal of Symbolic Computation · 1992 · 622 citations

, , +14

On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination

James Renegar · Journal of Symbolic Computation · 1992 · 277 citations

, , +13

Rounding of Polytopes in the Real Number Model of Computation

Leonid G. Khachiyan · Mathematics of Operations Research · 1996 · 276 citations

, , +15

Single Precision in Weather Forecasting Models: An Evaluation with the IFS

Filip Váňa, Peter D. Düben, Simon Lang et al. · Monthly Weather Review · 2016 · 126 citations · Full text

, , +15

Ruling Out Real-Valued Standard Formalism of Quantum Theory

Ming-Cheng Chen, Can Wang, Fengming Liu et al. · Physical Review Letters · 2022 · 112 citations · Full text

, , +13

1–5 of 30

Authors

61

  1. KM
    Klaus Meer

    RWTH Aachen University, Germany

    3 publications · 62 citations

    3

    h-index

  2. JR
    James Renegar

    Cornell University, United States

    3 publications · 951 citations

    3

    h-index

  3. WE
    Wolfgang Ecker

    Infineon Technologies (Germany), Germany

    2 publications · 27 citations

    2

    h-index

  4. NG
    Nikolaos Georgoulopoulos

    Aristotle University of Thessaloniki, Greece

    2 publications · 33 citations

    2

    h-index

  5. SH
    Steven Herbst

    Stanford University, United States

    1 publications · 15 citations

    1

    h-index

1–5 of 61

Institutions

37

  1. Cornell University

    Ithaca, United States

    4 h-index

    4 publications

    993 citations

  2. RWTH Aachen University

    Aachen, Germany

    3 h-index

    3 publications

    62 citations

  3. Columbia University

    New York, United States

    2 h-index

    2 publications

    46 citations

  4. Aristotle University of Thessaloniki

    Thessaloniki, Greece

    2 h-index

    4 publications

    66 citations

  5. Infineon Technologies (Germany)

    Munich, Germany

    2 h-index

    7 publications

    96 citations

  6. Hitachi (Japan)

    Tokyo, Japan

    1 h-index

    1 publications

    11 citations

  7. Yale University

    New Haven, United States

    1 h-index

    1 publications

    35 citations

  8. SUNY College of Environmental Science and Forestry

    Syracuse, United States

    1 h-index

    1 publications

    35 citations

1–8 of 37

Venues

  1. Journal of Symbolic Computation

    3 publications · 951 citations

    3

    h-index

  2. Theoretical Computer Science

    3 publications · 45 citations

    3

    h-index

  3. Journal of Complexity

    2 publications · 89 citations

    2

    h-index

  4. Monthly Weather Review

    1 publications · 126 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 26 citations

    1

    h-index

1–5