Results 281 to 290 of about 341,235 (326)

Algorithms in Real Algebraic Geometry

open access: yes, 2003
Algebraically Closed Fields.- Real Closed Fields.- Semi-Algebraic Sets.- Algebra.- Decomposition of Semi-Algebraic Sets.- Elements of Topology.- Quantitative Semi-algebraic Geometry.- Complexity of Basic Algorithms.- Cauchy Index and Applications.- Real Roots.- Cylindrical Decomposition Algorithm.- Polynomial System Solving.- Existential Theory of the ...
Basu, Saugata   +2 more
semanticscholar   +4 more sources

Real Algebraic Geometry

open access: yes, 2013
V. Arnold   +3 more
openaire   +2 more sources

Real Algebraic Geometry

1998
Jacek Bochnak   +2 more
openaire   +2 more sources

Real Algebraic Geometry with a View Toward Hyperbolic Programming and Free Probability

Oberwolfach Reports, 2021
Invariants of topological spaces of dimension three play a major role in many areas, in particular . . . Introduction by the Organizers The workshop Invariants of topological spaces of dimension three, organised by Max Muster (München) and Bill E. Xample
D. Henrion   +3 more
semanticscholar   +1 more source

Formal verification of semi-algebraic sets and real analytic functions

Certified Programs and Proofs, 2021
Semi-algebraic sets and real analytic functions are fundamental concepts in Real Algebraic Geometry and Real Analysis, respectively. These concepts appear in the study of Differential Equations, where the real analytic solution to a differential equation
J. Slagel, Lauren M. White, Aaron Dutle
semanticscholar   +1 more source

A Course in Real Algebraic Geometry

Graduate Texts in Mathematics
Claus Scheiderer
openaire   +2 more sources

Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebraic Geometry

Foundations of Computational Mathematics, 2013
We give necessary and sufficient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents defined on the positive orthant.
S. Müller   +5 more
semanticscholar   +1 more source

Computational Real Algebraic Geometry

Handbook of Discrete and Computational Geometry, 2nd Ed., 2004
B. Mishra
semanticscholar   +3 more sources

New Directions in Real Algebraic Geometry

Oberwolfach Reports, 2023
This workshop explored the forefront of connections of real algebraic geometry with convex analysis, combinatorics, and computational complexity. Important aspects have been promising interactions with the fields of quantum information theory, discrete geometry, complex and random algebraic geometry.
Saugata Basu   +3 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy