Concepedia

Nonlinear Arithmetic

Nonlinear Arithmetic is a theory within Satisfiability Modulo Theories that extends linear arithmetic by allowing polynomial constraints involving multiplication of variables, thereby enabling the formal modeling and reasoning about nonlinear mathematical relationships over real or integer domains.

25

Publications

1.2K

Citations

68

Authors

33

Institutions

Publications per year

2017–2026

2

Parents

Publications

25

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

Martin Fränzle, Christian Herde, Tino Teige et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 313 citations · Full text

, , +10

Nonlinear computation in DIVA — methods and applications

M. Mangold, Achim Kienle, E. D. Gilles et al. · Chemical Engineering Science · 2000 · 108 citations

, , +14

Survey of Applicable Mathematics

A. Hedayat, Karel Rektorys · Biometrics · 1970 · 102 citations

, , +11

Survey of Applicable Mathematics.

I. O., Darel Rektorys · Journal of the American Statistical Association · 1970 · 90 citations

, , +11

Perfect nonlinear binomials and their semifields

Zhengbang Zha, Gohar Kyureghyan, Xueli Wang · Finite Fields and Their Applications · 2008 · 76 citations

, , +5

1–5 of 25

Authors

68

  1. KR
    Karel Rektorys

    2 publications · 122 citations

    2

    h-index

  2. RV
    R. Vyborny

    1 publications · 20 citations

    1

    h-index

  3. RA
    Rob A. Rutenbar

    Carnegie Mellon University, United States

    1 publications · 37 citations

    1

    h-index

  4. NS
    Natarajan Shankar

    SRI International, United States

    1 publications · 24 citations

    1

    h-index

  5. KG
    Kishor G Bhat

    National Institute of Advanced Studies, India

    1 publications · 57 citations

    1

    h-index

1–5 of 68

Institutions

33

  1. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    5 publications

    181 citations

  2. University of Stuttgart

    Stuttgart, Germany

    1 h-index

    2 publications

    216 citations

  3. Hunan University

    Changsha, China

    1 h-index

    1 publications

    76 citations

  4. Jožef Stefan Institute

    Ljubljana, Slovenia

    1 h-index

    1 publications

    24 citations

  5. University of Kentucky

    Lexington, United States

    1 h-index

    1 publications

    20 citations

  6. Harvard University Press

    Cambridge, United States

    1 h-index

    1 publications

    24 citations

  7. Morgan State University

    Baltimore, United States

    1 h-index

    1 publications

    24 citations

  8. University of Colorado Boulder

    Boulder, United States

    1 h-index

    1 publications

    35 citations

1–8 of 33

Venues

  1. Mathematics of Computation

    MCOM · 2 publications · 33 citations

    2

    h-index

  2. Advances in Fuzzy Systems

    1 publications · 18 citations

    1

    h-index

  3. for the learning of mathematics

    1 publications · 13 citations

    1

    h-index

  4. Information and Control

    1 publications · 16 citations

    1

    h-index

  5. 1

    h-index

1–5