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 47 articles )
Showing results 1 to 20 of 47.
Sorted by year (- Dias, Luis Renato G.; Tanabé, Susumu; Tibăr, Mihai: Toward effective detection of the bifurcation locus of real polynomial maps (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; 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)
- Nie, Jiawang: The hierarchy of local minimums in polynomial optimization (2015)
- Rieck, Michael Q.: Related solutions to the perspective three-point pose problem (2015)
- Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab: Intrinsic complexity estimates in polynomial optimization (2014)
- Jelonek, Zbigniew; Kurdyka, Krzysztof: Reaching generalized critical values of a polynomial (2014)
- Jeronimo, Gabriela; Perrucci, Daniel: A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set (2014)
- Rieck, Michael Q.: A fundamentally new view of the perspective three-point pose problem (2014)
- Guo, Qingdong; Safey El Din, Mohab; Zhi, Lihong: Computing rational solutions of linear matrix inequalities (2013)
- Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro: An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (2013)
- Shen, Liyong; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing: Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (2013)
- Bank, Bernd; Giusti, Marc; Heintz, Joos; Lehmann, Lutz; Pardo, Luis Miguel: Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces (2012)