×

RSOLVER

swMATH ID: 4334
Software Authors: Stefan Ratschan
Description: RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions, or parametric robust stability of linear differential equations can be directly formulated as such constraints.
Homepage: http://rsolver.sourceforge.net/
Related Software: HSolver; Benchmarks; QEPCAD; HyTech; PHAVer; REDLOG; Sostools; SpaceEx; d/dt; Uppaal; KeYmaera; MetiTarski; Kronos; z3; YALMIP; dReal; RealPaver; HySAT; Breach; SeDuMi
Cited in: 72 Publications
all top 5

Cited by 129 Authors

12 Ratschan, Stefan
7 She, Zhikun
6 Subramani, Krishnan
5 Eirinakis, Pavlos
5 Wojciechowski, Piotr J.
3 Bresolin, Davide
3 Collins, Peter J.
3 Fränzle, Martin
3 Geretti, Luca
3 Ruggieri, Salvatore
3 Villa, Tiziano
3 Xia, Bican
3 Zhan, Naijun
3 Zheng, Zhiming
2 Akbarpour, Behzad
2 Bauer, Kerstin
2 Campagna, Dario
2 Duggirala, Parasara Sridhar
2 Dzetkulič, Tomáš
2 Franek, Peter
2 Frehse, Goran
2 Gentilini, Raffaella
2 Goldsztejn, Alexandre
2 Hahn, Ernst Moritz
2 Hermanns, Holger
2 Jaulin, Luc
2 Katoen, Joost-Pieter
2 Khanh, To Van
2 Lin, Wang
2 Nedialkov, Nedialko S.
2 Ogawa, Mizuhito
2 Paulson, Lawrence Charles
2 Piazza, Carla
2 Platzer, André
2 Prabhakar, Pavithra
2 Quesel, Jan-David
2 Ramdani, Nacim
2 Schneider, Klaus
2 Tung, Vu Xuan
2 Viswanathan, Mahesh
2 Xue, Bai
2 Yang, Zhengfeng
2 Zgliczyński, Piotr
2 Zhao, Hengjun
1 Alviano, Mario
1 Banerjee, Bonny
1 Basagiannis, Stylianos
1 Benson, Steven J.
1 Benvenuti, Luca
1 Bernardeschi, Cinzia
1 Bouissou, Olivier
1 Cantone, Domenico
1 Carter, Rebekah
1 Chabert, Gilles
1 Chandrasekaran, Balakrishnan
1 Chapoutot, Alexandre
1 Chen, Mingshuai
1 Chen, Taolue
1 Cincotti, Gianluca
1 Dai, Liyun
1 Damm, Werner
1 Dang, Thao
1 Djaballah, Adel
1 Domenici, Andrea
1 Doyen, Laurent
1 Duracz, Jan
1 Eggers, Andreas
1 Ferrari, Alberto
1 Fiorini, Paolo
1 Gallo, Giovanni
1 Gan, Ting
1 Geuvers, Jan Herman
1 Giantamidis, Georgios
1 Goyal, Manish
1 Hartmanns, Arnd
1 Herde, Christian
1 Herrero, Pau
1 Hiraishi, Kunihiko
1 Hladík, Milan
1 Ivančić, Franjo
1 Kavraki, Lydia E.
1 Kieffer, Michel
1 Kobayashi, Koich
1 Konečný, Michal
1 Koprowski, Adam
1 Kosheleva, Olga M.
1 Kouramas, Kostas
1 Kreinovich, Vladik Yakovlevich
1 Lanotte, Ruggero
1 Li, Haoyang
1 Liu, Zhiming
1 Man, Ka Lok
1 Michel, Claude
1 Mitra, Sayan
1 Muradore, Riccardo
1 Navarro-López, Eva María
1 Pappas, George J.
1 Peñaloza, Rafael
1 Plaku, Erion
1 Podelski, Andreas
...and 29 more Authors

Citations by Year