AQCS swMATH ID: 8109 Software Authors: Ratschan, S Description: Approximate quantified constraint solving (AQCS). AQCS is a program for solving quantified constraints approximately. A quantified constraint is a formula of first-order predicate logic containing the following symbols: Variables ranging over the reals, floating point interval constants, the function symbols + and ., the predicate symbols <= , =, <, >= and >, and the quantifiers exist and forall . The output for a given quantified constraint is a set of boxes on which the constraint is guaranteed to be true and a set of boxes on which the constraint is guaranteed to be false. For constraints with less than three free variables graphical output is also available. Homepage: http://www2.cs.cas.cz/~ratschan/AQCS/AQCS.html Related Software: QEPCAD; RSOLVER; mctoolbox; GloptiPoly; Acumen; MetiTarski; TopDeg; Numerica; IbexOpt; gaol; RealPaver; INTBIS; RAGlib; REDLOG; SYNRAC; Matlab; INTOPT_90 Cited in: 14 Publications all top 5 Cited by 22 Authors 5 Ratschan, Stefan 3 Anai, Hirokazu 2 Goldsztejn, Alexandre 2 Jaulin, Luc 2 Yanami, Hitoshi 1 Franek, Peter 1 Hara, Shinji 1 Hong, Myunghoon 1 Hyodo, Noriko 1 Ishii, Daisuke 1 Iwane, Hidenao 1 Jermann, Christophe 1 Kanno, Masaaki 1 Le Mézo, Thomas 1 Liska, Richard 1 Michel, Claude 1 Rueher, Michel 1 Sharyĭ, Sergeĭ Petrovich 1 Váchal, Pavel 1 Yokoyama, Kazuhiro 1 Zerr, Benoit 1 Zgliczyński, Piotr all top 5 Cited in 11 Serials 2 Applicable Algebra in Engineering, Communication and Computing 2 Reliable Computing 2 Constraints 1 International Journal of Control 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Japan Journal of Industrial and Applied Mathematics 1 Journal of Universal Computer Science 1 ACM Transactions on Computational Logic 1 Mathematics in Computer Science all top 5 Cited in 10 Fields 8 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 5 Numerical analysis (65-XX) 3 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Algebraic geometry (14-XX) 1 Partial differential equations (35-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year