1. Davenport JH, Siret Y, Tournier E (1993) Computer algebra: systems and algorithms for algebraic computation, 2nd edn. Academic Press, London, pp. 124–125
2. Ioakimidis NI (1995) Elementary quantifier-free formulae in boundary elements. Bound Elem Comm 6:107–112
3. Ioakimidis NI (1996) Inequality constraints in rectangular finite/boundary elements. Comput Struct 60:415–431
4. Ioakimidis NI (1999) Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. Eng Anal Bound Elem 23:847–856
5. Wolfram S (1999) The Mathematica book, 4th edn. Wolfram Media, Champaign, IL, and Cambridge University Press, Cambridge, UK