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 all top 5 Cited in 26 Serials 5 Formal Methods in System Design 5 Annals of Mathematics and Artificial Intelligence 4 Theoretical Computer Science 4 Nonlinear Analysis. Hybrid Systems 3 Automatica 3 Journal of Symbolic Computation 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 2 Constraints 1 Artificial Intelligence 1 Information Processing Letters 1 ACM Transactions on Mathematical Software 1 SIAM Journal on Control and Optimization 1 Information and Computation 1 Numerical Algorithms 1 International Journal of Robust and Nonlinear Control 1 The Journal of Artificial Intelligence Research (JAIR) 1 Reliable Computing 1 European Journal of Control 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Mathematics in Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Science China. Information Sciences 1 Numerical Algebra, Control and Optimization all top 5 Cited in 15 Fields 52 Computer science (68-XX) 23 Systems theory; control (93-XX) 13 Operations research, mathematical programming (90-XX) 12 Mathematical logic and foundations (03-XX) 11 Numerical analysis (65-XX) 3 Ordinary differential equations (34-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 Probability theory and stochastic processes (60-XX) 1 Relativity and gravitational theory (83-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year