Real Solution Classification for Parametric Semi-Algebraic Systems.

Similar Works

Action	Title	Year	Authors
+	Real homotopy for solving systems of real polynomial equations	1989	Pierre Verlinden Anny Haegemans
+	Real roots of parametric polynomial systems.	2004	Fabrice Rouillier
+	Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems	2021	Sergio Mover Alessandro Cimatti Alberto Griggio Ahmed Irfan Stefano Tonetta
+	Applications of model theory to real algebraic geometry	1985	Max Dickmann
+	Semi-algebraic functions	1999	Niels Schwartz James J. Madden
+	Solving systems of polynomial equations by bounded and real homotopy	1984	Pavol Brunovsk� Pavol Merav�
+	Algebraic methods for dynamic systems	1966	Richard C. Dorf D.D. Šiljak G. J. Thaler
+	Solution of Algebraic Polynomial Systems	2018	Joseph L. Awange Béla Paláncz Robert H. Lewis Lajos Völgyesi
+	Solution of Algebraic Polynomial Systems	2023	Joseph L. Awange Béla Paláncz Robert H. Lewis Lajos Völgyesi
+	Real algebraic spaces	1977	Andrew J. Sommese
+	Algebraic equations	1991	E. J. Hinch
+	Real Numerical Algebraic Geometry	2025	Jonathan D. Hauenstein Dhagash Mehta Margaret H. Regan Samantha N. Sherman Charles W. Wampler
+	Solvers for ALgebraic Systems and Applications	2006	Fabrice Rouillier Laurence Bourcier Jean‐Charles Faugère Amir Hashemi Mohab Safey El Din Philippe Trébuchet Sylvain Lacharte Guillaume Moroz Sajjad Rahmany Rong Xiao
+ PDF Chat	Effective representations in real algebraic geometry and polynomial optimization	2022	Lorenzo Baldi
+	Polylithic modeling and solution approaches using algebraic modeling systems	2011	Josef Kallrath
+	Introduction to real algebraic geometry(Real Algebraic Geometry)	1989	昌弘 塩田
+	Introduction to real algebraic geometry(Real Algebraic Geometry)	1989	Masahiro Shiota
+	Algebraic Solutions of Systems of Equations	2011	Erik W. Grafarend Joseph L. Awange
+	Real Analytic and Algebraic Geometry	1995	Fabrizio Broglia Margherita Galbiati Alberto Tognoli Meeting on Real Analytic Centro internazionale per la ricerca matematica
+	Embedding Method by Real Numerical Algebraic Geometry for Structurally Unamenable Differential-Algebraic Equations	2024	Wenqiang Yang Wenyuan Wu Greg Reid

Works That Cite This (7)

Action	Title	Year	Authors
+ PDF Chat	Parameter identification on Abelian integrals to achieve Chebyshev property	2020	Xianbo Sun Zhanbo Chen Pei Yu
+ PDF Chat	Solving parametric systems of polynomial equations over the reals through Hermite matrices	2021	Huu Phuoc Le Mohab Safey El Din
+ PDF Chat	Symbolic Methods for Analysing Bifurcations and Chaos of Two Five-Parameter Families of Planar Quadratic Maps	2020	Sarbast Hussein Bewar H. Othman
+ PDF Chat	An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification	2013	Hidenao Iwane Hiroyuki Higuchi Hirokazu Anai
+	The monotonicity of ratios of some Abelian integrals	2020	Xianbo Sun Na Wang Pei Yu
+	Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods	2021	Y. Hu Wei Niu Bo Huang
+ PDF Chat	Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems	2007	Qiang Guan Long Wang Bican Xia Yang Lu Wensheng Yu Zhenbing Zeng

Works Cited by This (7)

Action	Title	Year	Authors
+	None	1998	Andreas Dolzmann Thomas Sturm Volker Weispfenning
+	A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties	1993	Michael Kalkbrener
+	Recent Advances in Geometric Inequalities	1989	D. S. Mitrinović Josip ‎Pečarić Vladimír Volenec
+	Computing Triangular Systems and Regular Systems	2000	Dongming Wang
+	An improved projection operation for cylindrical algebraic decomposition of three-dimensional space	1988	Scott McCallum
+	Greobner Bases : an algorithmic method in polynomial ideal theory	1985	Bruno Buchberger
+	Real Quantifier Elimination in Practice	1999	Andreas Dolzmann Thomas Sturm Volker Weispfenning