| |
Unrefereed Technical Reports, Manuscripts, etc.
Copyright: If you download papers, please, respect the copyright of the publishers
indicated at the various papers. If no publisher is explicitly
mentioned, the copyright is with Bruno Buchberger.
If you download a paper, I would appreciate if you send an e-mail
to buchberger@risc.uni-linz.ac.at
with the title of the paper. If you use material from the papers,
please, cite them appropriately.
The files with extension .nb are Mathematica notebooks. For
reading them you nee Mathematica installed, see
Wolfram
. For executing the formulae in the input cells in some of the
papers, in addition to Mathematica, you need our Theorema system,
see Theorema.
|
Entwicklungskonzept für den Softwarepark Hagenberg. Bruno Buchberger. June 2023. [bib]
|
|
|
International Young Talents Hotspot Austria. Bruno Buchberger. In: Ideen, die gehen!, W. Schüssel, G. Kneifel (ed.), pp. 37-39. 2023. Edition Kleine Zeitung, 20234. [bib]
|
|
|
Is ChatGPT Smarter Than Master’s Applicants?. Bruno Buchberger. Technical report no. 23-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2023. [url] [pdf] [bib]
|
|
|
Gröbner Bases Computation by Triangularizing Macaulay Matrices. Bruno Buchberger. Advanced Studies in Pure Mathematics (The 50th Anniversary of Gröbner Bases) 75, pp. 1-9. 2017. Mathematical Society of Japan, 0. [bib]
|
|
|
Satisfiability Checking and Symbolic Computation. Abraham Erika , Abbott John , Becker Bernd , Bigatti Anna Maria , Brain Martin , Buchberger Bruno , Cimatti Alessandro , Davenport James , England Matthew , Fontaine Pascal , Forrest Stephen , Griggio Alberto , Kröning Daniel , Seiler Werner M. , Sturm . ACM Communications in Computer Algebra 50(4), pp. 145-147. 2017. 0. [bib]
|
|
| 2014-10-00-A |
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. A. Maletzky, B. Buchberger. Technical report no. 14-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2014. [zip] [bib]
|
|
| 2009-00-00-C |
Algorithms in Symbolic Computation. Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler. In: Hagenberg Research, Bruno Buchberger et al. (ed.), Chapter 1, pp. 5-62. 2009. Springer, 978-3-642-02126-8. [url] [pdf] [bib]
|
|
| 2009-00-00-B |
Automated Reasoning. Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger. 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]
|
|
| 2009-06-00-A |
Automatheo 2009: Proceedings of the Workshop on Automated Mathematical Theory Exploration. B. Buchberger, R. McCasland, A. Craciun. Technical report no. 09-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2009. [bib]
|
|
| 2009-01-00-A |
Knowledge Archives in Theorema: A Logic-Internal Approach. Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean. Technical report no. 09-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 2009. [ps] [pdf] [bib]
|
|
| 2008-08-00-A |
Austrian-Japanese Workshop on Symbolic Computation in Software Science, SCSS 2008. Bruno Buchberger, Tetsuo Ida, Temur Kutsia. Technical report no. 08-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2008. [url] [pdf] [bib]
|
|
| 2008-03-00-A |
Mathematical Journals as Reasoning Agents: Literature Review. Florina Piroi, Bruno Buchberger, Camelia Rosenkranz. Technical report no. 08-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 2008. [pdf] [nb] [bib]
|
|
| 2008-09-00-B |
Mathematical Knowledge Archives in Theorema. Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean. Technical report no. 08-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2008. [pdf] [bib]
|
|
| 2007-11-00-A |
Organisational Tools for MKM in Theorema. Florina Piroi, Bruno Buchberger, Camelia Rosenkranz, Tudor Jebelean. Technical report no. 07-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2007. [ps] [bib]
|
|
| 2007-04-10-A |
Towards Practical Reflection for Formal Mathematics. Martin Giese, Bruno Buchberger. Technical report no. 07-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2007. [pdf] [bib]
|
|
| 2007-04-10-B |
Towards Practical Reflection for Formal Mathematics, extended abstract. In Proceedings of Austria-Japan Workshop on Symbolic Computation and Software Verification. Martin Giese, Bruno Buchberger. RISC. Technical report no. 07-09, July 1 2007. pages 30-34. [pdf] [bib]
|
|
|
CreaComp: e-Schulung von Kreativität und Problemlösekompetenz. B. Buchberger, E.P. Klement, G. Pilz, S. Saminger, W. Windsteiger. Technical report no. 06-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2006. [pdf] [bib]
|
|
| 2005-06-00-A |
Ein Dank an meine Schule. B. Buchberger. June 2005. Akademisches Gymnasium Innsbruck., A6020 Innsbruck, Angerzellgasse 14, Austria., Akademisches Gymnasium Innsbruck, [doc] [pdf] [bib]
|
|
| 2005-05-17-A |
Predicate Logic with Sequence Variables and Sequence Function Symbols. Temur Kutsia, Bruno Buchberger. Technical report no. 05-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2005. [pdf] [bib]
|
|
| 2004-03-00-A |
A Note on Automated Generation of an Algorithm Verification Method. B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2004-03, SFB Report, March 2004. [pdf] [bib]
|
|
| 2004-04-16-A |
Algorithm Synthesis Case Studies: Sorting of Tuples by Lazy Thinking. A. Craciun, B. Buchberger. Technical report no. 04-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2004. [ps] [bib]
|
|
| 2004-06-04-A |
Computer-Supported Mathematical Theory Exploration: Schemes, Failing Proof Analysis, and Metaprogramming. B. Buchberger. Juni 2004. [bib]
|
|
| 2004-11-16-A |
Label Management in Mathematical Theories. F. Piroi, B. Buchberger. Johann Radon Institute for Computational and Applied Mathematics (RICAM). Technical report no. 2004-16, November 2004. [bib]
|
|
| 2004-08-26-A |
Mathematical Knowledge Editor: A Research Plan. B. Buchberger, K. Nakagawa. Johannes Kepler University Linz. Technical report, SFB Report, 2004. Spezialforschungsbereich SF013 "Scientific Computing", FWF (Austrian National Science Foundation). [nb] [bib]
|
|
| 2004-10-17-A |
Preprocessed Lazy Thinking: Synthesis of Sorting Algorithms. A. Craciun, B. Buchberger. Technical report no. 04-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2004. [ps] [bib]
|
|
| 2003-10-00-D |
A Symbolic Algorithm for Solving Two-Point BVPs on the Operator Level. M. Rosenkranz, B. Buchberger, H. W. Engl. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-41, SFB Report, October 2003. [pdf] [bib]
|
|
| 2003-10-00-C |
Algorithm Invention and Verification by Lazy Thinking. B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-29, SFB Report, October 2003. [nb] [bib]
|
|
| 2003-10-00-E |
Algorithm Retrieval: Concept Clarification and Case Study in Theorema. B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-44, SFB Report, October 2003. [nb] [bib]
|
|
| 2003-08-25-A |
Computational Mathematics, Computational Logic and Symbolic Computation. B. Buchberger. In: Computer Science Logic - Proceedings of 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloqium, KGC 2003, M.Baaz, J. A. Makowsky (ed.), Lecture Notes in Computer Science Vol. 2803, pp. 98-99. August 25-30 2003. Springer - Verlag Berlin, Vienna, Austria, ISSN 0302-9743. [nb] [bib]
|
|
| 2003-10-06-B |
F 1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces. B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz, L. Kovacs, C. Kocsis. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal, P. Paule, U. Langer (ed.), pp. 58-73. October 2003. Johannes Kepler University Linz, Austria, -. [bib]
|
|
| 2003-10-06-C |
F 1322: Computer Algebra for Pure and Applied Functional Analysis. B. Buchberger. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal, P. Paule, U. Langer (ed.), pp. 335-364. October 2003. Johannes Kepler University Linz, Austria, -. [bib]
|
|
| 2003-10-00-A |
Focus Windows: A New Approach to Presenting Mathematical Proofs (In Automated Proving Systems). B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-22, SFB Report, October 2003. [pdf] [ps] [bib]
|
|
| 2003-11-00-A |
Groebner Rings in Theorema: A Case Study in Functors and Categories. B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-49, SFB Report, November 2003. [nb] [bib]
|
|
| 2003-10-00-B |
Origami Theorem Proving. B. Buchberger, T. Ida. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-23, SFB Report, October 2003. [pdf] [bib]
|
|
| 2003-05-01-B |
Preface on Mathematical Knowledge Management. B. Buchberger, G. Gonnet, M. Hazewinkel. In: Special Issue of Annals of Mathematics and Artificial Intelligence, B. Buchberger, G. Gonnet, M. Hazewinkel (ed.)381-3, pp. 1-2. May 2003. Kluwer Academic Publishers, Dordrecht, Netherlands, ISSN 1012-2443. [doc] [bib]
|
|
| 2003-05-01-B |
Preface on Mathematical Knowledge Management. B. Buchberger, G. Gonnet, M. Hazewinkel. In: Special Issue of Annals of Mathematics and Artificial Intelligence, 381-3, pp. 1-2. May 2003. Kluwer Academic Publishers, Dordrecht, Netherlands, ISSN 1012-2443. [doc] [bib]
|
|
| 2002-02-00-A |
F 1302: Solving and Proving in General Domains. B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Annual Report 2002, U. Langer, F. Winkler (ed.), pp. 4-5. February 2002. Johannes Kepler University Linz, Austria, [bib]
|
|
| 2002-12-25-A |
Focus Windows: A New Technique for Proof Presentation. Florina Piroi, Bruno Buchberger. Technical report no. 02-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2002. [ps] [bib]
|
|
| 2002-12-00-B |
Focus Windows: A New Technique for Proof Presentation. F. Piroi, B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 02-32, SFB Report, December 2002. [pdf] [bib]
|
|
| 2002-12-00-A |
Proving the Correctness of the Merge-Sort Algorithm with Theorema. A. Craciun, B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 02-31, SFB Report, December 2002. [bib]
|
|
| 2001-09-24-A |
Mathematical Knowledge Management in THEOREMA. B. Buchberger. In: First International Workshop on Mathematical Knowledge Management (MKM 2001), B. Buchberger, O. Caprotti (ed.), pp. -. September 24-26 2001. RISC-Linz, A-4232 Schloss Hagenberg, [bib]
|
|
| 2001-09-24-A |
Mathematical Knowledge Management using THEOREMA. B. Buchberger. In: First International Workshop on Mathematical Knowledge Management (MKM 2001), B.Buchberger, O. Caprotti (ed.), pp. --. 2001. RISC-Linz, A-4232 Schloss Hagenberg, September 24-26, 2001, 17 pages., -. [ps] [bib]
|
|
| 2001-09-31-A |
MKM'01. First International Workshop on Mathematical Knowledge Management. Bruno Buchberger, Olga Caprotti. Technical report no. 01-31 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2001. [tar.gz] [ps] [bib]
|
|
| 2001-12-00-B |
Presenting Proofs Using Logicographic Symbols. K. Nakagawa, B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 01-35, SFB Report, December 2001. [bib]
|
|
| 2001-09-26-A |
The Role of Logicographic Symbols for Mathematical Knowledge Management. B. Buchberger, K. Nakagawa. In: Proceedings of the First International Workshop on Mathematical Knowledge Management (MKM), B. Buchberger, O. Caprotti (ed.), pp. -. September 24-26 2001. RISC-Linz, A-4232 Schloss Hagenberg, [bib]
|
|
| 2001-12-00-C |
Two Tools for Mathematical Knowledge Management in Theorema. K. Nakagawa, B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 01-37, SFB Report, December 2001. [bib]
|
|
| 2000-03-00-B |
Annual Report of the SFB F013: 1.11.99-31.12.99. B. Buchberger, U.Langer. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 00-06, SFB Report, March 2000. [bib]
|
|
| 2000-10-00-A |
F 1301: Coordination and Service Project (Progress Report). B. Buchberger et al. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000, B. Buchberger, U. Langer (ed.), pp. 88-100. October 2000. Johannes Kepler University Linz, Austria, -. [bib]
|
|
| 2000-10-00-B |
F 1302: THEOREMA: Proving, Solving, and Computing in General Domains (Progress Report). B. Buchberger et al. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000, B. Buchberger, U. Langer (ed.), pp. 101-125. October 2000. Johannes Kepler University Linz, Austria, -. [bib]
|
|
| 2000-10-00-C |
F 1303: Proving and Solving Over the Reals. B. Buchberger, J. Schicho. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000, B. Buchberger and U.Langer (ed.), pp. 126-142. October 2000. Johannes Kepler University Linz, Austria, [bib]
|
|
| 2000-10-00-D |
F 1303: Proving and Solving Over the Reals (Progress Report). B. Buchberger, J. Schicho. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000, B. Buchberger and U.Langer (ed.), pp. 126-142. October 2000. Johannes Kepler University Linz, Austria, [bib]
|
|
| 2000-10-06-B |
F1302: Proving, Solving, and Computing in the Theory of Hilbert Spaces (Research Proposal). B. Buchberger et al. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal, , pp. 54-85. October 6 2000. Johannes Kepler University Linz, Austria, [bib]
|
|
| 2000-01-30-A |
Focus Windows: A New Technique for Presenting Mathematical Proofs (in Automated Theorem Proving Systems). B. Buchberger. Research Institute for Symbolic Computation, Johannes Kepler University Linz. Technical report no. 2000-01-30, Theorema Technical Report, 2000. [ps] [abstract] [pdf] [bib]
|
|
| 2000-00-00-A |
Symbolisches Rechnen: Eliminieren sich die Mathematiker selbst? (Symbolic Computation: Are the Mathematicians Eliminating Their Own Jobs). B. Buchberger. In: Exhibition Catalogue "Mathematische Machinen: Von der Rechenmaschine zum Computer", F. Pichler (ed.), pp. 1-13. 2000. Strom-Museum, Ybbs, Austria, [bib]
|
|
| 2000-00-41-A |
The Facilities of Theorema for Teaching Logic and Mathematics. B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. Technical report no. 00-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2000. [ps] [bib]
|
|
| 2000-00-39-A |
The Natural Style Provers of Theorema: A Survey of Strategies for Different Mathematical Domains. B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. Technical report no. 00-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2000. [ps] [bib]
|
|
| 2000-00-37-A |
The Theorema System: Current Status and the Proving-Solving-Computing Cycle. B. Buchberger, D. Vasaru, T. Jebelean. Technical report no. 00-37 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2000. [ps] [bib]
|
|
| 2000-00-38-A |
The Theorema System: Proving, Solving, and Computing for the Working Mathematician. B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. Technical report no. 00-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 2000. [ps] [bib]
|
|
| 1999-03-00-A |
Annual Report of the SFB F013: 1.4.98-31.12.98. B. Buchberger, U.Langer. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 99-02, SFB Report, March 1999. [bib]
|
|
| 1999-12-39-A |
Computer-Mathematik in der Schule. Bruno Buchberger. Technical report no. 99-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. [zip] [bib]
|
|
| 1999-12-00-B |
Distance Teaching of Mathematics Using Theorema. Bruno Buchberger, Tudor Jebelean. Technical report no. 99-43 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. Also available as SFB Report No. 99-36, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999. [doc] [bib]
|
|
| 1999-04-01-A |
Distance Teaching of Mathematics Using Theorema. B. Buchberger, T. Jebelean. In: Proceedings of the 3rd Technion Symposium on Software for Communication, H. Gutmann (ed.), pp. -. April 1-3 1999. Hagenberg, Austria, [bib]
|
|
| 1999-12-41-A |
Mathematics: The Technology of Reasoning. Bruno Buchberger. Technical report no. 99-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. [ppt.gz] [bib]
|
|
| 1999-12-00-E |
Mathematik am Computer: Die naechste Ueberforderung? (Mathematics on the Computer: The Next Overtaxation?). B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 99-39, SFB Report, December 1999. Annual Conference of the Austrian Mathematical Society, Graz, Austria, September 24, 1999. [bib]
|
|
| 1999-12-00-C |
Theorema: A Progress Report. Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger. Technical report no. 99-42 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. Also available as SFB Report 99-35, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999. [ps] [bib]
|
|
| 1999-12-00-C |
Theorema: A Short Demo. Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger. Technical report no. 99-45 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. Also available as SFB Report 99-37, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999. [tar.gz] [bib]
|
|
| 1999-12-00-D |
Theory Exploration Versus Theorem Proving. Bruno Buchberger. Technical report no. 99-46 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. July 1999. Also available as SFB Report No. 99-38, Johannes Kepler University Linz, Spezialforschungsbereich F013, December 1999. [tar.gz] [bib]
|
|
| 1999-03-23-A |
Theory Exploration Versus Theorem Proving. B. Buchberger. In: Proceedings of the Calculemus '99 Workshop, A. Armando, T. Jebelean (ed.), Electronic Notes in Theoretical Computer Science 233, pp. 386-386. 1999. Elsevier, -. [bib]
|
|
| 1999-12-40-A |
Views on the Future of Computer Science. Bruno Buchberger. Technical report no. 99-40 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. [ppt.gz] [bib]
|
|
| 1998-04-00-B |
Combining Provers in the Theorema System. Elena Tomuta, Bruno Buchberger. Technical report no. 98-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. January 1998. Presented at the Sixth Rhine Workshop on Computer Algebra, March 31-April 3, 1998, Sankt Augustin, Germany. Also available as SFB Report No. 98-01. [ps] [bib]
|
|
| 1998-00-00-D |
Knowledge Web: A Design and Feasibilty Study. B. Buchberger, T. Ida, W. Schreiner. Institute of Information Sciences and Electronics, University of Tsukuba. Technical report, 1998. ISE-TR-98-151. [bib]
|
|
| 1998-06-04-A |
Numerical and Symbolic Scientific Computing. Ulrich Langer, Bruno Buchberger. Technical report no. 98-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 1998. FWF proposal (SFB). [ps] [bib]
|
|
| 1998-10-00-F |
The Second International Theorema Workshop. Bruno Buchberger, Tudor Jebelean. Technical report no. 98-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 1998. [bib]
|
|
| 1998-06-29-E |
The Theorema Language: Implemening Object- and Meta-Level Usage of Symbols. B. Buchberger, W.Windsteiger. In: Proceedings of the Second International Theorema Workshop, B. Buchberger, T. Jebelean (ed.), pp. -. June 29-30 1998. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 98-10. [bib]
|
|
| 1998-07-00-B |
The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols. B. Buchberger, W. Windsteiger. SFB F013 Numerical and Symbolic Scientific Computing. Technical report no. 98-07, 1998. [pdf] [bib]
|
|
| 1998-06-00-B |
Theorema: A System for Formal Scientific Training in Natural Language Presentation. B. Buchberger, T. Jebelean, D. Vasaru. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 98-05, SFB Report, June 1998. [bib]
|
|
| 1998-07-00-A |
Theorema: An Integrated System for Computation and Deduction in Natural Style. Bruno Buchberger, Klaus Aigner, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Mircea Marin, Koji Nakagawa, Ovidiu Podisor, Elena Tomuta, Yaroslav Usenko, Daniela Vasaru, Wolfgang Windsteiger. Technical report no. 98-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. Also available as SFB Report No. 98-06. [ps] [bib]
|
|
| 1998-06-29-C |
Theorema: The Current Status. B. Buchberger. In: Proceedings of the Second International Theorema Workshop, B. Buchberger, T. Jebelean (ed.), pp. -. June 29-30 1998. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 98-10. [bib]
|
|
| 1998-06-00-A |
Theorema: Theorem Proving for the Masses Using Mathematica. B. Buchberger. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 98-04, SFB Report, June 1998. Worldwide Mathematica Conference, Chicago, USA, June 20, 1998. [bib]
|
|
| 1998-06-29-D |
Theorema: Using the Predicate Logic Prover for Proof Training. B. Buchberger, T. Jebelean. In: Proceedings of the Second International Theorema Workshop, B. Buchberger, T. Jebelean (ed.), pp. -. June 29-30 1998. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 98-10. [bib]
|
|
| 1997-06-09-G |
A Note on Computing Times in Different Programming Styles in Mathematica. B. Buchberger. In: First International Theorema Workshop, B. Buchberger, T. Ida, D. Vasaru (ed.), pp. -. June 9-10 1997. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 97-20. [bib]
|
|
| 1997-03-15-A |
A Survey of the Theorema Project. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru. Technical report no. 97-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 1997. [ps] [bib]
|
|
| 1997-02-04-A |
CONCERT: A Software Architecture for Coordinating Education. Bruno Buchberger, Wolfgang Schreiner. Technical report no. 97-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 1997. [ps] [bib]
|
|
| 1997-06-20-A |
First International Theorema Workshop. Bruno Buchberger, Tetsuo Ida, Daniela Vasaru. Technical report no. 97-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 1997. Proceedings of the workshop, including also some older papers for reference. [bib]
|
|
| 1997-06-09-H |
Proving by Simplification. B. Buchberger, M. Marin. In: First International Theorema Workshop, B. Buchberger, T. Ida, D. Vasaru (ed.), pp. -. June 9-10 1997. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 97-20. [bib]
|
|
| 1997-06-09-D |
The Theorema Prover for Equalities over the Natural Numbers. B. Buchberger. In: First International Theorema Workshop, B. Buchberger, T. Ida, D. Vasaru (ed.), pp. -. June 9-10 1997. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 97-20. [bib]
|
|
| 1997-10-34-A |
Theorema: A System for Formal Scientific Training in Natural Language Presentation. Bruno Buchberger, Tudor Jebelean, Daniela Vasaru. Technical report no. 97-34 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [bib]
|
|
| 1997-06-09-A |
Theorema: An Overview on the Project and the Proceedings. B. Buchberger. In: First International Theorema Workshop, B. Buchberger, T. Ida, D. Vasaru (ed.), pp. -. June 9-10 1997. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 97-20. [bib]
|
|
| 1997-06-09-C |
Theorema: Natural Language and Nested Cells Representation of Proofs. B. Buchberger. In: First International Theorema Workshop, B. Buchberger, T. Ida, D. Vasaru (ed.), pp. -. June 9-10 1997. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 97-20. [bib]
|
|
| 1997-06-09-F |
Theorema: The Induction Prover over Lists. B. Buchberger, D. Vasaru. In: First International Theorema Workshop, B. Buchberger, T. Ida, D. Vasaru (ed.), pp. -. June 9-10 1997. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 97-20. [bib]
|
|
| 1997-06-09-B |
Theorema: The Language. B. Buchberger, F. Kriftner. In: First International Theorema Workshop, B. Buchberger, T. Ida, D. Vasaru (ed.), pp. -. June 9-10 1997. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 97-20. [bib]
|
|
| 1997-06-09-E |
Theorema: The Predicate Logic Prover. B. Buchberger, T. Jebelean. In: First International Theorema Workshop, B. Buchberger, T. Ida, D. Vasaru (ed.), pp. -. June 9-10 1997. RISC, Hagenberg, Austria, -. RISC-Linz Report Series No. 97-20. [bib]
|
|
| 1996-12-39-A |
Introduction to Groebner Bases. Bruno Buchberger. Technical report no. 96-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1996. [bib]
|
|
| 1996-12-40-A |
Mathematica as a Rewrite Language. Bruno Buchberger. Technical report no. 96-40 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1996. [bib]
|
|
| 1996-05-12-A |
Mathematiksoftware und Mathematikunterricht: Ein Vorwort (Mathematical Software and Mathematics Teaching: A Preface). B. Buchberger. In: Matheamatikunterricht mit Computeralgebra-Systemen, H.Heugl, W. Klinger, J. Lechner (ed.), pp. 9-13. 1996. Addison-Wesley, Bonn - Reading, ISBN 3-8273-1082-2. [bib]
|
|
| 1996-12-36-A |
Symbolic Computation: Computer Algebra and Logic. Bruno Buchberger. Technical report no. 96-36 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1996. [ps] [bib]
|
|
| 1995-09-05-A |
Symbolic Computation Software Systems: The Current State of Technology. B. Buchberger. In: Proceedings of the EUROSIM 95 Conference, F. Breitenecker, I. Husinsky (ed.), pp. 85-94. September 5-7 1995. Elsevier, Technical University, Vienna, ISBN 0-444-82241-0. [bib]
|
|
|
CONPAR 94 - VAPP VI (Poster Presentations). Bruno Buchberger, Jens VOLKERT (eds.). Technical report no. 94-48 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
|
|
| 1994-04-34-A |
Symbolic Computation: Foundations and Applications. Bruno Buchberger. Technical report no. 94-34 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. Published in Presented at GAMM'94, April 6, 1994, Braunschweig, Germany.. [bib]
|
|
| 1994-00-17-A |
Workshop PARAGRAPH'94 (Collection of Abstracts). Editors: B. Buchberger, S. Stifter, J. Volkert, P. Zinterhof. Technical report no. 94-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
|
|
| 1993-00-72-A |
GRÖBNER: A Library for Computing Gröbner Bases based on SACLIB. Wolfgang Windsteiger, Bruno Buchberger. Technical report no. 93-72 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [ps] [bib]
|
|
| 1993-09-50-A |
Mathematica: Doing Mathematics by Computer?. Bruno Buchberger. Technical report no. 93-50 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. Invited Talk at DISCO'93, Gmunden, Austria, September. [bib]
|
|
|
SACLIB 1.1 User's Guide. Bruno Buchberger, George E. Collins, Mark J. Encarnacion, Hoon Hong, Jeremy R. Johnson, Werner Krandick, R\\. Technical report no. 93-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [bib]
|
|
| 1993-03-00-A |
Systolic Multiprecision Arithmetic. B. Buchberger, T. Jebelean. In: Proceedings of Impact TEMPUS JEP and Hungarian Transputer Users Group Workshop "Parallel Processing in Education", - (ed.), pp. -. March 1993. Miskolc, Hungary, -. [bib]
|
|
|
Bourbakism und Algorithmische Mathematik. Bruno Buchberger. Technical report no. 92-74 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
|
|
|
Geometric Modeling Based on Logic and Algebra. Bruno Buchberger, Scott Mccallum. Technical report no. 92-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. Published in Technical Report TR-CS-89-01, The Australian National University, Department of Computer Science. [bib]
|
|
|
Parallel Rational Arithmetic for Computer Algebra Systems: Motivating Experiments. Bruno Buchberger, Tudor Jebelean. Technical report no. 92-29 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. Published in A preliminary version was presented at the ACPC (Austrian Center for Parallel Computation) workshop in Weinberg, Austria, April 1992.. [bib]
|
|
|
Systolic Algorithms in Computer Algebra State of the Project. Bruno Buchberger, Tudor Jebelean. Technical report no. 92-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
|
|
|
Vortrag im Informatik Kolloquium der Universitaet Darmstadt Mai 1992. Bruno Buchberger. Technical report no. 92-43 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
|
|
| 1991-02-08-A |
Speeding-up Quantifier Elimination by Groebner Bases. Bruno Buchberger, Hoon Hong. Technical report no. 91-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 1991. [pdf] [bib]
|
|
| 1991-07-00-A |
Systolic Algorithms in Computer Algebra. B. Buchberger, T. Jebelean. In: Proceedings of the NATO ASI on Parallel Processing on Distributed Memory Multiprocessors, - (ed.), pp. -. July 1991. Ankara, -. [bib]
|
|
|
Fermat's Ideal Can Be Generated by the First Three Fermat Polynomials. Bruno Buchberger. Technical report no. 90-44 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [bib]
|
|
|
An Implementation of Gr{\"o}bner Bases in Mathematica. Bruno Buchberger. Technical report no. 90-58 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [bib]
|
|
| 1990-00-00-B |
Editorial for Special Issue Computational Algebraic Complexity. E. Kaltofen, B. Buchberger. In: Journal of Symbolic Computation, E. Kaltofen, B. Buchberger (ed.)Vol.9, pp. 225-228. 1990. Academic Press Limited, 0747-7171/90. [pdf] [bib]
|
|
|
Symbolic Computation: Pure Computer Mathematics. Bruno Buchberger. Technical report no. 90-50 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. Published in Invited paper at the $8^{th}$ US Army Conference on ``Applied Mathematics'', Cornell, June 1990.. [bib]
|
|
|
Should Students Learn Integration Rules?. B. Buchberger. Technical report no. 89-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1989. [bib]
|
|
|
Subproject: Parallel Symbolic Computation. B. Buchberger. Technical report no. 89-46 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1989. [bib]
|
|
|
Interne Struktur von RISC-LINZ. B. BUCHBERGER. Technical report no. 88-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
|
|
| 1988-00-00-A |
A Note on Proofs for the Main Theorem in Groebner Bases Theory. B. Buchberger. Technical report no. 88-34 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
|
|
|
Computer Algebra. B. BUCHBERGER. Technical report no. 88-62 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
|
|
|
Forschungsstrategien: USA -- Japan -- \"Osterreich. B. Buchberger. Technical report no. 88-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
|
|
| 1985-03-00-C |
Symbolic Computation (An Editorial). B. Buchberger et al.. In: Journal of Symbolic Computation, B. Buchberger (ed.)Vol. 11, pp. 1-6. 1985. Academic Press Inc., Harcourt Brace Jovanovich Publishers, London, ISSN 0747-7171. [pdf] [bib]
|
|
| 1983-00-00-E |
A Critical-Pair/Completion Algorithm in Reduction Rings. B. Buchberger. Technical report no. 83-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1983. [pdf] [bib]
|
|
| 1983-10-03-B |
Groebner Bases: A Method in Symbolic Mathematics. B. Buchberger. In: Proceedings of "Les Journées de Saint-Etienne: Algorithmique, Calcul Formel, Arithmetique", - (ed.), pp. II.1-II.10. October 3-8 1983. Université de Saint-Etienne, U.E.R de Sciences, CAMP Punl.Nr. 83-24.0. [bib]
|
|
| 1983-00-00-D |
Miscellaneous Results on the Groebner-Bases for Polynomial Ideals II. B. Buchberger. Department of Computer And Information Sciences, University of Delaware. Technical report no. 83-1, 1983. [bib]
|
|
| 1981-10-00-A |
Computer-unterstuetzter mathematisches Problemloesen: Eine Uebersicht (Computer-Aided Mathematical Problem Solving: A Survey). B. Buchberger. CAMP-LINZ (Computer-Aided Mathematical Problem Solving), Johannes Kepler University, Linz, Austria. Technical report no. Camp-Publ.-Nr.: 81-9.0, October 1981. Lecture Notes, October 1981. [bib]
|
|
| 1981-02-00-A |
H-bases and Groebner-Bases for Polynomial Ideals. B. Buchberger. CAMP-LINZ (Computer-Aided Mathematical Problem Solving), Johannes Kepler University, Linz, Austria. Technical report no. Camp-Publ.-Nr.: 81-2.0, Internal Report, February 1981. [bib]
|
|
| 1980-02-00-A |
Ein Fallstudie in systematischer Algorithmenentwicklung und Algorithmenverifikation: Ein Algorithmus für ein Nimmspiel (A Case Study in Systematic Algorithm Development and Algorithm Verification: An Algorithm for the Game of Nim). B. Buchberger. Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Institut fuer Mathematik. Technical report no. 162, February 1980. [bib]
|
|
| 1979-07-00-A |
A Note on Some Variants of the Notion of Creative Set. B. Buchberger, R. Neubauer, H. Rolletschek, G. Seeber. Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Insitut fuer Mathematik. Technical report no. 139, July 1979. [bib]
|
|
| 1979-06-00-A |
Miscellaneous Results on the Construction of Groebner-Bases for Polynomial Ideals. B. Buchberger, F. Winkler. Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Insitut fuer Mathematik. Technical report no. 137, June 1979. [bib]
|
|
| 1977-03-21-A |
Simulation-Universal Automata. B. Buchberger, W. Menzel. In: Proceedings of the Internat. Workshop on Semantics of Programming Languages, - (ed.)41, pp. 30-34. March 21-25 1977. Bad Honnef, Universitaet Dortmund, Abteilung Informatik, -. [bib]
|
|
| 1977-00-00-A |
Simulation-Universal Automata. B. Buchberger, W. Menzel. Universitaet Karlsruhe, Fakultaet fuer Informatik I. Technical report no. 14/77, 1977. [bib]
|
|
| 1976-09-00-A |
Eine Bemerkung zu rekursiven Komponenten und 1-1-Splintern (A Remark on Recursive Components and 1-1 Splinters). B. Buchberger. University of Linz, Institute for Mathematics. Technical report, September 1976. [bib]
|
|
| 1975-11-24-A |
Einige Resultate ueber universelle Automaten (Some Results on Universal Automata). B. Buchberger. Mathematisches Forschungsinstitut Oberwolfach. Technical report no. 46|1975, Tagunsbericht, Automatentheorie und Formale Sprachen, pp. 6-7, November 24-28 1975. [bib]
|
|
| 1975-11-00-A |
Some Results on Universal Automata and Input/Output Codings. B. Buchberger. Hochschule Linz, Technische-Naturwissenschaftliche Fakultaet, Institut fuer Mathematik. Technical report no. 34, November 1975. [bib]
|
|
| 1973-11-00-A |
Implementierung einer Metasprache zur Definition von Programmiersprachen (Implementation of a Meta-language for the Definition of Programming Languages). B. Buchberger, F. Jenewein. Institut fuer Informatik und Numerische Mathematik, Universitaet Innsbruck. Technical report no. 228 (ZUSE Z 23V), Programmbibliothek, November 1973. [bib]
|
|
| 1973-00-00-B |
On Certain Decompositions of Goedel Numberings. B. Buchberger. Institut fuer Informatik, Universitaet Innsbruck. Technical report, 1973. (Appeared in Archiv fuer Mathematische Logik und Grundlagenforschung). [bib]
|
|
| 1972-02-00-A |
A Basic Problem in the Thoery of Programming Languages. B. Buchberger. Institut fuer Numersiche Mathematik und Elektronische Informationsverarbeitung Universitaet Innsbruck. Technical report no. 72-1, February 1972. [pdf] [bib]
|
|
| 1972-12-00-A |
A Study on Universal Functions. B. Buchberger, B.Roider. Institut fuer Numersiche Mathematik und Elektronische Informationsverarbeitung, Universitaet Innsbruck. Technical report no. 72-5, December 1972. [bib]
|
|
| 1971-08-00-A |
A Comment on Blum's Signal Function. B. Buchberger. Institut fuer Numerische Mathematik und Elektronische Informationsverarbeitung, Universitaet Innsbruck. Technical report no. 71-3, August 1971. [pdf] [bib]
|
|
| 1969-10-06-A |
Grundbegriffe der Algorithmentheorie (Basic Notions of Algorithm Theory). B. Buchberger. Angewandte Mathematik, Universitaet und Technische Hochschule Graz. Technical report, October 6-9 1969. Steiermaerkisches Mathematisches Symposium, Grottenhof-Hardt. [pdf] [bib]
|
|
|
|
|
