|
|
|
|
|
| Type: | [any] [Papers] [Theses] [Technical Reports] [Other] |
| Author: | [any] [Ablinger] [Paule] [Kauers] [Koutschan] [Pillwein] [Radu] [Schneider] |
| Year: | [any] [2024] [2023] [2022] [2021] [2020] [2019] [earlier] |
 |
Manuel Kauers (ed.). Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. Proceedings of ISSAC'13, 2013. ACM, isbn 978-1-4503-2059-7/13/06. [bib] |
|
The Concrete Tetrahedron. Text and Monographs in Symbolic Computation 1st edition, 2011. Springer Wien, 210 pages, 978-3-7091-0444-6. [bib] |
|
Problem 11545. 1 2011. American Mathematical Monthly 118(1):84, ISSN 0192-5857. [ps] [pdf] [bib] |
|
Manuel Kauers (ed.). ISSAC 2011 Poster Abstracts. Communications in Computer Algebra, 452, June 2011. ACM Sigsam, [bib] |
|
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (ed.). Towards Mechanized Mathematical Assistants. Proceedings of Calculemus 2007 and MKM 2007, Lecture Notes in Computer Science, 4573, 2007. Springer, Heidelberg, ISSN 0302-9743. [url] [bib] |
|
Problem 11258. December 2006. American Mathematical Monthly, [ps] [bib] |
|
Computing Limits of Sequences. 2003. Poster presentation at ISSAC 2003. [ps] [ps] [bib] |