References

 

[1]

A. NEUBACHER, An Introduction to the Symbolic Integration of Elementary Functions, Master's thesis, Johannes Kepler University, 4040 Linz, Austria, Nov. 1992. Published as "RISC-Linz Report Series No. 92-66".

 

[2]

H. HONG, W. SCHREINER, A. NEUBACHER, K. SIEGL, H.-W. LOIDL, T. JEBELEAN, AND P. ZETTLER, PACLIB User Manual, Tech. Rep. 92-32, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 1992.

 

[3]

B. BUCHBERGER, G. E. COLLINS, M. J. ENCARNACION, H. HONG, J. R. JOHNSON, W. KRANDICK, R. LOOS, A. M. MANDACHE, A. NEUBACHER, AND H. VIELHABER, SACLIB 1.1 User's Guide, Tech. Rep. 93-19, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 1993.

 

[4]

P. BERTOLI, H. HONG, A. NEUBACHER, W. SCHREINER, AND V. STAHL, The C++ Interface to the STURM Distributed Multiprocessor Kernel, Tech. Rep. 94-32, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 1994.

 

[5]

H. HONG, A. NEUBACHER, W. SCHREINER, AND V. STAHL, The C++ Interface to the STURM Multiprocessor Kernel, Tech. Rep. 94-31, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 1994.

 

[6]

H. HONG, A. NEUBACHER, AND V. STAHL, The STURM Library Manual - A C++ library for symbolic computation, Tech. Rep. 94-30, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 1994.

 

[7]

H. HONG, A. NEUBACHER, AND W. SCHREINER, The Design of the SACLIB/PACLIB Kernels, Journal of Symbolic Computation, 19 (1995), pp. 111-132

 

[8]

H. HONG AND A. NEUBACHER, Approximate Quantifier Elimination, in 2nd IMACS Conference on Applications of Computer Algebra, Research Institute for Symbolic Computation, Hagenberg, Austria, July 1996

 

[9]

A. NEUBACHER, Another Elementary Proof of Kharitonov's Theorem, Tech. Rep. 97-19, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 1997.

 

[10]

---, Parametric Robust Stability by Quantifier Elimination, PhD thesis, Johannes Kepler University, 4040 Linz, Austria, Nov. 1997. Published as "RISC-Linz Report Series No. 97-37".