×

RAGlib

swMATH ID: 774
Software Authors: Jean-Charles Faugere; Mohab Safey El Din
Description: 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.
Homepage: http://www-salsa.lip6.fr/~safey/RAGLib/
Dependencies: Maple; FGb
Related Software: Kronecker; FGb; ISOLATE; QEPCAD; Maple; DISCOVERER; SeDuMi; Sostools; CGAL; SDPA; SPECTRA; SINGULAR; YALMIP; univsos; PARI/GP; RealCertify; RegularChains; Macaulay2; Coq; Bertini
Cited in: 65 Publications
all top 5

Cited by 104 Authors

19 Safey El Din, Mohab
5 Bank, Bernd
5 Giusti, Marc
5 Heintz, Joos
4 Lazard, Daniel
4 Naldi, Simone
3 Henrion, Didier
3 Rieck, Michael Q.
3 Rouillier, Fabrice
3 Schost, Éric
3 Zhi, Lihong
2 Dias, Luis Renato Gonçalves
2 Dickenstein, Alicia M.
2 Everett, Hazel
2 Halperin, Dan
2 Hong, Hoon
2 Iwane, Hidenao
2 Kaltofen, Erich L.
2 Lazard, Sylvain
2 Lecerf, Grégoire
2 Magron, Victor
2 Moroz, Guillaume
2 Pardo, Luis Miguel
2 Quadrat, Alban
2 Setter, Ophir
2 Tibăr, Mihai-Marius
2 Yang, Zhengfeng
1 Abril Bucero, Marta
1 Anai, Hirokazu
1 Bajbar, Tomáš
1 Bouzidi, Yacine
1 Brévilliers, Mathieu
1 Chablat, Damien
1 Chevallier, Nicolas
1 Conradi, Carsten
1 Corbineau, Pierre
1 Durvye, Clémence
1 Faugère, Jean-Charles
1 Feliu, Elisenda
1 Feng, Yong
1 Fukasaku, Ryoya
1 Gardner, Richard J.
1 Ghorbal, Khalil
1 Greenwood, Torin
1 Gronchi, Paolo
1 Gross, Elizabeth
1 Guo, Qingdong
1 Han, Jingjun
1 Harrington, Heather A.
1 Hemmer, Michael
1 Jelonek, Zbigniew
1 Jeronimo, Gabriela
1 Jin, Zhi
1 Keyser, John
1 Kurdyka, Krzysztof
1 Lai, Yisheng
1 Lê Công Trình
1 Le, Huu Phuoc
1 Lehmann, Lutz
1 Li, Bin
1 Matera, Guillermo
1 Monniaux, David P.
1 Mourrain, Bernard
1 Müller, Stefan
1 Nie, Jiawang
1 Orange, Sébastien
1 Ouchi, Koji
1 Pébay, Philippe P.
1 Perrucci, Daniel
1 Piret, Kathy
1 Plaumann, Daniel
1 Regensburger, Georg
1 Reid, Greg J.
1 Rodriguez, Jose Israel
1 Rojas, J. Maurice
1 Rosen, Zvi
1 Rouiller, F.
1 Sato, Yosuke
1 Schmitt, Dominique
1 Schweighofer, Markus
1 Sharir, Micha
1 Shen, Liyong
1 Shiu, Anne
1 Sogokon, Andrew
1 Solernó, Pablo
1 Stein, Oliver
1 Sturmfels, Bernd
1 Tanabé, Susumu
1 Tang, Xiaoxian
1 Theobald, Thorsten
1 Thompson, David C.
1 Verdière, Nathalie
1 Verschelde, Jan
1 Wang, Renhong
1 Wenger, Philippe
1 Woracek, Harald
1 Wu, Jinming
1 Wu, Wenyuan
1 Xia, Bican
1 Yanami, Hitoshi
...and 4 more Authors

Citations by Year