1. Akbarpour, B., Paulson, L.C.: Towards automatic proofs of inequalities involving elementary functions. In: Cook, B., Sebastiani, R. (eds.) Proceedings of PDPAR 2006: Pragmatics of Decision Procedures in Automated Reasoning, pp. 27–37 (2006)
2. Akgül, M.: Topics in relaxation and ellipsoidal methods. Research notes in mathematics, vol. 97. Pitman (1984)
3. Artin, E.: Über die Zerlegung definiter Funktionen in Quadrate. Hamburg Abhandlung 5, 100–115 (1927)
4. Avigad, J., Friedman, H.: Combining decision procedures for the reals. Logical Methods in Computer Science (to appear), available online at http://arxiv.org/abs/cs.LO/0601134
5. Basu, S.: A constructive algorithm for 2-D spectral factorization with rational spectral factors. IEEE Transactions on Circuits and Systems–I: Fundamental Theory and Applications 47, 1309–1318 (2000)