Concepedia

Automatic generation of bounds for polynomial systems with application to the Lorenz system

Klaus Röbenack, Rick Voßwinkel, Hendrik Richter

Chaos Solitons & Fractals · 2018 · 14 citations · 32 references

DOIFull text

Open access

Concepts

References

32

Deterministic Nonperiodic Flow

Edward N. Lorenz · Journal of the Atmospheric Sciences · 1963 · 19.3K citations · Full text

, , +12

Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Gary S. Collins · Medical Entomology and Zoology · 1975 · 902 citations

, , +9

A New Decision Method for Elementary Algebra

A. Seidenberg · Annals of Mathematics · 1954 · 543 citations

, , +7

Partial Cylindrical Algebraic Decomposition for quantifier elimination

George E. Collins, Hoon Hong · Journal of Symbolic Computation · 1991 · 532 citations

, , +8

REDLOG

Andreas Dolzmann, Thomas Sturm · ACM SIGSAM Bulletin · 1997 · 360 citations

, , +16