RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications in the frame of project 'MathBroker II'		Technical Reports in the frame of project 'MathBroker II'		Talks in the frame of project 'MathBroker II'

RISC Publications and Technical Reports in the frame of project 'MathBroker II'

2009

Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger. Automated Reasoning. In: Hagenberg Research, B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiss, W. Windsteiger (ed.), pp. 63-101. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]

2008

E. Kartashova, C. Raab, Ch. Feurer, G. Mayrhofer, W. Schreiner. Symbolic Computations for Nonlinear Wave Resonances. In: "Extreme Ocean Waves", E. Pelinovsky, Ch. Kharif (ed.), pp. 97-128. 2008. Springer, ISBN: 978-1-4020-8313-6. [url] [pdf] [bib]

2007

Andreas Duscher. A Pattern-based Interaction Language for Mathematical Services. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, December 2007. [pdf] [bib]

All Years >>