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.


References in zbMATH (referenced in 42 articles )

Showing results 1 to 20 of 42.
Sorted by year (citations)

1 2 3 next

  1. Abril Bucero, Marta; Mourrain, Bernard: Border basis relaxation for polynomial optimization (2016)
  2. Gross, Elizabeth; Harrington, Heather A.; Rosen, Zvi; Sturmfels, Bernd: Algebraic systems biology: a case study for the wnt pathway (2016)
  3. Han, Jingjun; Jin, Zhi; Xia, Bican: Proving inequalities and solving global optimization problems via simplified CAD projection (2016)
  4. Henrion, Didier; Naldi, Simone; Safey El Din, Mohab: Real root finding for determinants of linear matrices (2016)
  5. 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)
  6. Bajbar, Tomáš; Stein, Oliver: Coercive polynomials and their Newton polytopes (2015)
  7. Bank, Bernd; Giusti, Marc; Heintz, Joos; Lecerf, Grégoire; Matera, Guillermo; Solernó, Pablo: Degeneracy loci and polynomial equation solving (2015)
  8. Dias, Luis Renato G.; Tibăr, Mihai: Detecting bifurcation values at infinity of real polynomials (2015)
  9. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  10. Nie, Jiawang: The hierarchy of local minimums in polynomial optimization (2015)
  11. Rieck, Michael Q.: Related solutions to the perspective three-point pose problem (2015)
  12. Bank, Bernd; Giusti, Marc; Heintz, Joos; Safey El Din, Mohab: Intrinsic complexity estimates in polynomial optimization (2014)
  13. Jelonek, Zbigniew; Kurdyka, Krzysztof: Reaching generalized critical values of a polynomial (2014)
  14. Jeronimo, Gabriela; Perrucci, Daniel: A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set (2014)
  15. Rieck, Michael Q.: A fundamentally new view of the perspective three-point pose problem (2014)
  16. Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro: An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (2013)
  17. Shen, Liyong; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing: Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (2013)
  18. Bank, Bernd; Giusti, Marc; Heintz, Joos; Lehmann, Lutz; Pardo, Luis Miguel: Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces (2012)
  19. Gardner, Richard J.; Gronchi, Paolo; Theobald, Thorsten: Determining a rotation of a tetrahedron from a projection (2012)
  20. Hong, Hoon; El Din, Mohab Safey: Variant quantifier elimination (2012)

1 2 3 next