RAGlib
A library for real solving polynomial systems of equations and inequalities. RAGlib is a Maple package providing useful functionalities for the study of real solutions of polynomial systems of equations and inequalities such as testing the emptiness or computing sampling points in each connected component of their real solution set. RAGlib is built upon the FGb library and its interface with Maple developped by Jean-Charles Faugere (INRIA/ LIP6 PolSys) The RAGlib Maple package allows to solve polynomial systems of equations/inequalities over the reals. Provided functionalities allow to decide the existence of real solutions and to compute sample points in each connected component of the real solution set.
Keywords for this software
References in zbMATH (referenced in 58 articles )
Showing results 1 to 20 of 58.
Sorted by year (- Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus: Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (2019-2019)
- Verdière, N.; Orange, S.: A systematic approach for doing an a priori identifiability study of dynamical nonlinear models (2019)
- Greenwood, Torin: Asymptotics of bivariate analytic functions with algebraic singularities (2018)
- Lê, Công-Trình: A note on optimization with Morse polynomials (2018)
- Naldi, Simone; Plaumann, Daniel: Symbolic computation in hyperbolic programming (2018)
- Victor Magron, Mohab Safey El Din: RealCertify: a Maple package for certifying non-negativity (2018) arXiv
- Dias, Luis Renato G.; Tanabé, Susumu; Tibăr, Mihai: Toward effective detection of the bifurcation locus of real polynomial maps (2017)
- Rodriguez, Jose Israel; Tang, Xiaoxian: A probabilistic algorithm for computing data-discriminants of likelihood equations (2017)
- Woracek, Harald: Directing functionals and de Branges space completions in almost Pontryagin spaces (2017)
- Wu, Wenyuan; Reid, Greg; Feng, Yong: Computing real witness points of positive dimensional polynomial systems (2017)
- Abril Bucero, Marta; Mourrain, Bernard: Border basis relaxation for polynomial optimization (2016)
- Gross, Elizabeth; Harrington, Heather A.; Rosen, Zvi; Sturmfels, Bernd: Algebraic systems biology: a case study for the Wnt pathway (2016)
- Han, Jingjun; Jin, Zhi; Xia, Bican: Proving inequalities and solving global optimization problems via simplified CAD projection (2016)
- Henrion, Didier; Naldi, Simone; El Din, Mohab Safey: Exact algorithms for linear matrix inequalities (2016)
- Henrion, Didier; Naldi, Simone; Safey El Din, Mohab: Real root finding for determinants of linear matrices (2016)
- Müller, Stefan; Feliu, Elisenda; Regensburger, Georg; Conradi, Carsten; Shiu, Anne; Dickenstein, Alicia: Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry (2016)
- Bajbar, Tomáš; Stein, Oliver: Coercive polynomials and their Newton polytopes (2015)
- Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo: Degeneracy loci and polynomial equation solving (2015)
- Dias, Luis Renato G.; Tibăr, Mihai: Detecting bifurcation values at infinity of real polynomials (2015)
- Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)