|
![](/people/pictures/buchberg-screen.jpg?id=1464310054")
| |
Bruno Buchberger, Prof. Dr.Dr.h.c.mult.
RISC Faculty
Publications
|
Bruno Buchberger. Is ChatGPT Smarter Than Master’s Applicants?. 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]
|
|
Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia (ed.). Annals of Mathematics and Artificial Intelligence. Springer, ISSN 1012-2443. [url] [bib]
|
|
Bruno Buchberger. Automated Programming, Symbolic computation, Machine Learning: My Personal View. Ann. Math. Artif. Intell. 91(5), pp. 569-589. 2023. 1012-2443. [bib]
|
|
Bruno Buchberger. International Young Talents Hotspot Austria. In: Ideen, die gehen!, W. Schüssel, G. Kneifel (ed.), pp. 37-39. 2023. Edition Kleine Zeitung, 20234. [bib]
|
|
Bruno Buchberger. Entwicklungskonzept für den Softwarepark Hagenberg. June 2023. [bib]
|
|
Bruno Buchberger. Wissenschaft und Meditation: Auf dem Weg zur bewussten Naturgesellschaft. 1st edition, December 2023. Amazon, 184 pages, 979-8868299117. [bib]
|
|
Bruno Buchberger. Gröbner Bases Computation by Triangularizing Macaulay Matrices. Advanced Studies in Pure Mathematics (The 50th Anniversary of Gröbner Bases) 75, pp. 1-9. 2017. Mathematical Society of Japan, 0. [bib]
|
|
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 . Satisfiability Checking and Symbolic Computation. ACM Communications in Computer Algebra 50(4), pp. 145-147. 2017. 0. [bib]
|
|
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics. JFR 9(1), pp. 149-185. 2016. ISSN 1972-5787. [url] [bib]
|
|
Adel Bouhoula, Bruno Buchberger, Laura Kovacs, Temur Kutsia (ed.). Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science. ISSN 0747-7171. [url] [bib]
|
|
A. Maletzky, B. Buchberger. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. In: Mathematical Software - ICMS 2014, Hoon Hong and Chee Yap (ed.), Proceedings of The 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014, Lecture Notes in Computer Science 8592, pp. 41-48. 2014. Springer Berlin Heidelberg, ISBN 978-3-662-44198-5. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_8. [url] [pdf] [bib]
|
|
B. Buchberger, A. Maletzky. Groebner Bases in Theorema. In: Mathematical Software - ICMS 2014, Hoon Hong and Chee Yap (ed.), Proceedings of The 4th International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-9, 2014, Lecture Notes in Computer Science 8592, pp. 374-381. 2014. Springer Berlin Heidelberg, ISBN 978-3-662-44198-5. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_58. [url] [pdf] [bib]
|
|
A. Maletzky, B. Buchberger. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. Technical report no. 14-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2014. [zip] [bib]
|
|
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 273-331. 2011. Springer, Wien, ISBN 978-3-7091-0793-5. Also available as RICAM Report 2010-05, September 2010. [pdf] [bib]
|
|
Bruno Buchberger, Manuel Kauers. Buchberger's Algorithm. Scholarpedia 6(10), pp. 7764-7764. October 2011. 1941-6016. [url] [bib]
|
|
Loredana Tec, Georg Regensburger, Markus Rosenkranz and Bruno Buchberger. An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama (ed.), Proceedings of ICMS, Lecture Notes in Computer Science 6327, pp. 245-248. 2010. Springer, 978-3-642-15581-9. [pdf] [bib]
|
|
Bruno Buchberger, Manuel Kauers. Groebner Bases. Scholarpedia 5(10), pp. 7763-7763. October 2010. ISSN 1941-6016. [url] [bib]
|
|
N. Popov, T. Jebelean, B. Buchberger. From Program Verification to Automated Debugging. In: Workshop on Symbolic Computation in Software Science, T. Jebelean and M. Mosbah and N. Popov (ed.), Proceedings of SCSS 2010, pp. 55-65. July 2010. RISC-Linz Report Series, Johannes Kepler University of Linz, Austria, .. [bib]
|
|
R. Vajda, T. Jebelean, B. Buchberger. Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis. Mathematics and Computers in Simulation 79(8), pp. 2310-2316. April 2009. Elsevier, ISSN: 0378-4754. Special Issue on Nonstandard Applications of Computer Algebra. [url] [pdf] [bib]
|
|
Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean. Knowledge Archives in Theorema: A Logic-Internal Approach. 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]
|
|
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. A Symbolic Framework for Operations on Linear Boundary Problems. In: Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing , Gerdt, Vladimir P.; Mayr, Ernst W.; Vorozhtsov, Evgenii H. (ed.), Proceedings of CASC '09, Kobe, Japan, LNCS 5743, pp. 269-283. September 2009. Springer-Verlag, ISBN: 978-3-642-04102-0. Also available as RICAM Report 09-10, May 2009. [url] [bib]
|
|
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]
|
|
Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler. Algorithms in Symbolic Computation. In: Hagenberg Research, Bruno Buchberger et al. (ed.), Chapter 1, pp. 5-62. 2009. Springer, 978-3-642-02126-8. [url] [pdf] [bib]
|
|
B. Buchberger, R. McCasland, A. Craciun. Automatheo 2009: Proceedings of the Workshop on Automated Mathematical Theory Exploration. Technical report no. 09-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2009. [bib]
|
|
B. Buchberger. Lets Solve! A Gentle Introduction to Groebner Bases for High-School Students. In: Introduction to Mathematica, C. Miyaji (ed.), pp. 206-232. 2009. TDU Publishing, Tokyo, 000. [bib]
|
|
B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
|
|
Florina Piroi, Bruno Buchberger, Camelia Rosenkranz. Mathematical Journals as Reasoning Agents: Literature Review. 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]
|
|
Bruno Buchberger, Tetsuo Ida, Temur Kutsia. Austrian-Japanese Workshop on Symbolic Computation in Software Science, SCSS 2008. Technical report no. 08-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2008. [url] [pdf] [bib]
|
|
B. Buchberger, G. Regensburger, M. Rosenkranz, L. Tec. General Polynomial Reduction with Theorema Functors: Applications to Integro-Differential Operators and Polynomials . July 20-23 2008. Poster presentation at ISSAC 2008. [pdf] [bib]
|
|
Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean. Mathematical Knowledge Archives in Theorema. Technical report no. 08-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2008. [pdf] [bib]
|
|
B. Buchberger, G. Regensburger, M. Rosenkranz, L. Tec. General Polynomial Reduction with Theorema Functors: Applications to Integro-Differential Operators and Polynomials . SIGSAM Bulletin 42(3), pp. 135-137. September 2008. ISSN 0163-5824. Extended abstract from ISSAC 2008 poster presentation. [url] [bib]
|
|
Martin Giese, Bruno Buchberger. Towards Practical Reflection for Formal Mathematics. Technical report no. 07-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2007. [pdf] [bib]
|
|
Martin Giese, Bruno Buchberger. Towards Practical Reflection for Formal Mathematics, extended abstract. In Proceedings of Austria-Japan Workshop on Symbolic Computation and Software Verification. RISC. Technical report no. 07-09, July 1 2007. pages 30-34. [pdf] [bib]
|
|
Florina Piroi, Bruno Buchberger, Camelia Rosenkranz, Tudor Jebelean. Organisational Tools for MKM in Theorema. Technical report no. 07-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2007. [ps] [bib]
|
|
J. Robu, D. Tepeneu, T. Ida, H. Takahashi, B. Buchberger. Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness. In: Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry), Hoon Hong, Dongming Wang (ed.), Lecture Notes in Computer Science 3763, pp. 19-33. 2006. Springer Berlin / Heidelberg, University of Florida, Gainesville, FL, USA, ISBN 978-3-540-31332-8. [bib]
|
|
B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic 4(4), pp. 470-504. 2006. ISSN 1570-8683. [url] [pdf] [bib]
|
|
W. Windsteiger, B. Buchberger, M. Rosenkranz. Theorema. In: The Seventeen Provers of the World, Freek Wiedijk (ed.), Lecture Notes in Artificial Intelligence (LNAI) 3600, pp. 96-107. 2006. Springer Berlin Heidelberg New York, ISBN 3-540-30704-4. [url] [pdf] [bib]
|
|
B. Buchberger, E.P. Klement, G. Pilz, S. Saminger, W. Windsteiger. CreaComp: e-Schulung von Kreativität und Problemlösekompetenz. Technical report no. 06-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2006. [pdf] [bib]
|
|
B. Buchberger. Ein Dank an meine Schule. June 2005. Akademisches Gymnasium Innsbruck., A6020 Innsbruck, Angerzellgasse 14, Austria., Akademisches Gymnasium Innsbruck, [doc] [pdf] [bib]
|
|
Temur Kutsia, Bruno Buchberger. Predicate Logic with Sequence Variables and Sequence Function Symbols. Technical report no. 05-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2005. [pdf] [bib]
|
|
F. Piroi, B. Buchberger. Label Management in Theorema. In: Informal proceedings of the 4th International Conference on Mathematical Knowledge Management, M. Kohlhase (ed.), pp. -. July 2005. Bremen, Germany. [bib]
|
|
T. Kutsia, B. Buchberger. Predicate Logic with Sequence Variables and Sequence Function Symbols. In: Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04, Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec (ed.), Lecture Notes in Computer Science 3119, pp. 205-219. Sep 19-21 2004. Springer Verlag, Bialowieza, Poland, ISBN 3-540-23029-7. [pdf] [bib]
|
|
T. Ida, D. Tepeneu, B. Buchberger, J. Robu. Proving and Constraint Solving in Computational Origami. In: Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), B. Buchberger and John Campbell (ed.), Springer Lecture Notes in Artificial Intelligence 3249, pp. 132-142. 22-24 September 2004. Copyright: Springer-Berlin, RISC, Johannes Kepler University, Austria, ISSN 0302-9743, ISBN 3-540-232. [bib]
|
|
F. Piroi, B. Buchberger. An Environment for Building Mathematical Knowledge Libraries. In: Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Second International Joint Conference (IJCAR), Wolfgang Windsteiger and Christoph Benzmueller (ed.), pp. 19-29. 4-8 July 2004. Cork, Ireland, ISBN 3-902276-04-5. [pdf] [bib]
|
|
F. Piroi, B. Buchberger. Label Management in Mathematical Theories. Johann Radon Institute for Computational and Applied Mathematics (RICAM). Technical report no. 2004-16, November 2004. [bib]
|
|
B. Buchberger. Algorithm Supported Mathematical Theory Exploration: A Personal View and Stragegy. In: Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation), B. Buchberger, John Campbell (ed.), Springer Lecture Notes in Artificial Intelligence 3249, pp. 236-250. 22-24 September 2004. Copyright: Springer, Berlin-Heidelberg, RISC, Johannes Kepler University, Austria, ISSN 0302-9743, ISBN 3-540-232. [pdf] [bib]
|
|
B. Buchberger, T. Ida. Computational Origami: Interaction of Solving, Proving and Computing. In: Proceedings of World Conference on 21st Century Mathematics, , pp. -. 18-20 March 2004. Lahore, Pakistan, accepted. [nb] [bib]
|
|
B. Buchberger. Towards the Automated Synthesis of a Groebner Bases Algorithm. RACSAM - Revista de la Real Academia de Ciencias (Review of the Spanish Royal Academy of Science), Serie A: Mathematicas 98(1), pp. 65-75. 2004. ISSN 1578 7303. [pdf] [bib]
|
|
B. Buchberger, A. Craciun. Algorithm Synthesis by Lazy Thinking: Using Problem Schemes. In: Proceedings of SYNASC 2004, 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, D.Petcu and V.Negru and D.Zaharie and T.Jebelean (ed.), pp. 90-106. 26-30 September 2004. Copyright: Mirton Publisher, Timisoara, Romania, ISBN 973-661-441-7. [pdf] [bib]
|
|
B. Buchberger, A. Craciun. Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. In: Electronic Notes in Theoretical Computer Science, Fairouz Kamareddine (ed.)93, pp. 24-59. 18 February 2004. ISBN 044451290X. Proc. of the Mathematical Knowledge Management Workshop, Edinburgh, Nov. 25, 2003. [url] [pdf] [bib]
|
|
A. Craciun, B. Buchberger. Preprocessed Lazy Thinking: Synthesis of Sorting Algorithms. Technical report no. 04-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2004. [ps] [bib]
|
|
B. Buchberger, K. Nakagawa. Mathematical Knowledge Editor: A Research Plan. Johannes Kepler University Linz. Technical report, SFB Report, 2004. Spezialforschungsbereich SF013 "Scientific Computing", FWF (Austrian National Science Foundation). [nb] [bib]
|
|
A. Craciun, B. Buchberger. Algorithm Synthesis Case Studies: Sorting of Tuples by Lazy Thinking. Technical report no. 04-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 2004. [ps] [bib]
|
|
B. Buchberger, J. Campbell (ed.). Artificial Intelligence and Symbolic Computation. Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation, RISC, Johannes Kepler University, Austria), Lecture Notes in Artificial Intelligence, 3249, September 2004. Springer Berlin-Heidelberg, ISSN 0302-9743, ISBN 3-540-232. [bib]
|
|
B. Buchberger. A Note on Automated Generation of an Algorithm Verification Method. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2004-03, SFB Report, March 2004. [pdf] [bib]
|
|
B. Buchberger. Computer-Supported Mathematical Theory Exploration: Schemes, Failing Proof Analysis, and Metaprogramming. Juni 2004. [bib]
|
|
T.Ida, B. Buchberger. Proving and Solving in Computational Origami. Analele Universitatii din Timisoara, Seria Matematica - Informatica XLI, pp. 247-263. 2003. Copyright: Mirton Publisher, Timisoara, Romania, ISSN 1224-970X. special issue on Computer Science - Proceedings of SYNASC'03. [ps] [nb] [pdf] [bib]
|
|
B. Buchberger. Algorithm Invention and Verification by Lazy Thinking. Analele Universitatii din Timisoara, Seria Matematica - Informatica XLI, pp. 41-70. 2003. Copyright: Mirton Publisher, Timisoara, Romania, ISSN 1224-970X. special issue on Computer Science - Proceedings of SYNASC'03. [pdf] [bib]
|
|
B. Buchberger. Algorithm Invention and Verification by Lazy Thinking. In: Proceedings of SYNASC 2003, 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, D. Petcu, V. Negru, D. Zaharie, T. Jebelean (ed.), pp. 2-26. 1-4 October 2003. Copyright: Mirton Publisher, Timisoara, Romania, ISBN: 973-661-104-3. [nb] [bib]
|
|
M. Rosenkranz, B. Buchberger, H. W. Engl. Solving Linear Boundary Value Problems Via Non–commutative Groebner Bases. Applicable Analysis 82(7), pp. 655-675. July 2003. Copyright: Taylor & Francis Ltd., ISSN 0003-6811, ISSN 1563-504X. [bib]
|
|
A. Asperti, B. Buchberger, J. H. Davenport (ed.). Mathematical Knowledge Management. Proceedings of Second International Conference on Mathematical Knowledge Management (MKM 2003), Bertinoro, Italy, Lecture Notes in Computer Science, 2594, 2003. Springer - Verlag Berlin - Heidelberg - New York, ISSN 0302-9743, ISBN 3-540-005. [bib]
|
|
B. Buchberger. Groebner Rings in Theorema: A Case Study in Functors and Categories. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-49, SFB Report, November 2003. [nb] [bib]
|
|
B. Buchberger. Algorithm Retrieval: Concept Clarification and Case Study in Theorema. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-44, SFB Report, October 2003. [nb] [bib]
|
|
M. Rosenkranz, B. Buchberger, H. W. Engl. A Symbolic Algorithm for Solving Two-Point BVPs on the Operator Level. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-41, SFB Report, October 2003. [pdf] [bib]
|
|
B. Buchberger. Algorithm Invention and Verification by Lazy Thinking. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-29, SFB Report, October 2003. [nb] [bib]
|
|
B. Buchberger, T. Ida. Origami Theorem Proving. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-23, SFB Report, October 2003. [pdf] [bib]
|
|
B. Buchberger. Focus Windows: A New Approach to Presenting Mathematical Proofs (In Automated Proving Systems). Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 2003-22, SFB Report, October 2003. [pdf] [ps] [bib]
|
|
B. Buchberger. Computational Mathematics, Computational Logic and Symbolic Computation. 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]
|
|
B. Buchberger, G. Gonnet, M. Hazewinkel. Preface on Mathematical Knowledge Management. 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]
|
|
B. Buchberger. F 1322: Computer Algebra for Pure and Applied Functional Analysis. 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]
|
|
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. F 1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces. 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]
|
|
B. Buchberger (member of the editorial board) (ed.). Journal of Algebra and its Applications. World Scientific Publishing Company Pte. Ltd., Singapore, ISSN 0219-4988. [bib]
|
|
B. Buchberger, G. Gonnet, M. Hazewinkel (ed.). Mathematical Knowledge Management. Special Issue of Annals of Mathematics and Artificial Intelligence, 381-3, May 2003. Kluwer Academic Publishers, Dordrecht, The Netherlands, ISSN 1012-2443. 2003-05-01-A. [bib]
|
|
T. Jebelean, B. Buchberger. Theorema: Computation and Deduction in Natural Style. In: Computer Algebra Handbook, J. Grabmeier, E. Kaltofen, V. Weispfennig (ed.), pp. 453-454. 2003. Springer - Verlag Berlin, ISBN 3-540-65466-6. [bib]
|
|
B. Buchberger, G. Gonnet, M. Hazewinkel. Preface on Mathematical Knowledge Management. 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]
|
|
D. M. Gabbay, A. J.I. Jones, S. Kraus, J. Siekmann (ed.). Journal of Applied Logic. ISSN 1570-8683. [bib]
|
|
B. Buchberger. Groebner Bases: The Commutative Case. In: The Concise Handbook of Algebra, A. V. Mikhalev, G. F. Pilz (ed.), pp. 262-265. 2002. Copyright: Kluwer Academic Publishers, Dordrecht, Netherlands, ISBN 0-7923-7072-4. [bib]
|
|
B. Buchberger. Groebner Bases: Applications. In: The Concise Handbook of Algebra, A. V. Mikhalev and G. F. Pilz (ed.), pp. 265-268. 2002. Kluwer Academic Publishers, Dordrecht, Netherlands., ISBN 0-7923-7072-4. [bib]
|
|
A. Craciun, B. Buchberger. Proving the Correctness of the Merge-Sort Algorithm with Theorema. In: Proceedings of SYNASC 2002, 4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, D. Petcu, V. Negru, D. Zaharie, T. Jebelean (ed.), pp. 97-111. 9-12 October 2002. Mirton Publisher, Timisoara, Romania, ISBN 973-585-785-5. [bib]
|
|
B. Buchberger. Symbolic Computation. In: Handbuch der Informatik, G. Pomberger, P. Rechenberg (ed.), 1st edition , pp. 955-974. 2002. Carl Hanser Verlag Munich, ISBN 3446401857. (3rd edition, pp. 963 - 981). [bib]
|
|
Florina Piroi, Bruno Buchberger. Focus Windows: A New Technique for Proof Presentation. Technical report no. 02-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2002. [ps] [bib]
|
|
B. Buchberger. Invention by Lazy Thinking. In: "A Min Tjoa @ Work"- In honor of the 50th birthday of Univ.Prof.Dr. A Min Tjoa, R. Wagner (ed.), pp. 11-31. December 2002. Austrian Computer Society, ISBN 3-85403-164-5. [bib]
|
|
F. Piroi, B. Buchberger. Focus Windows: A New Technique for Proof Presentation. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 02-32, SFB Report, December 2002. [pdf] [bib]
|
|
A. Craciun, B. Buchberger. Proving the Correctness of the Merge-Sort Algorithm with Theorema. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 02-31, SFB Report, December 2002. [bib]
|
|
F. Piroi, B. Buchberger. Focus Windows: A New Technique for Proof Presentation. In: Proceedings of the 8th Rhine Workshop on Computer Algebra, Mannheim, Germany, H. Kredel, W. Seiler (ed.), pp. 297-313. March 21-22 2002. _. [pdf] [abstract] [bib]
|
|
B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz. F 1302: Solving and Proving in General Domains. 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]
|
|
M. Rosenkranz, B. Buchberger, H. W. Engl. Solving Linear Boundary Value Problems Via Non–commutative Groebner Bases. In: Proceedings of SYNASC 2002, 4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, D. Petcu, V. Negru, D. Zaharie, T. Jebelean (ed.), pp. 300-313. 9-12 October 2002. Mirton Publisher, Timisoara, Romania, ISBN 973-585-785-5. [bib]
|
|
N. K. Bose (ed.). Journal of Multidimensional Systems and Signal Processing. Springer, ISSN 0923-6082. [bib]
|
|
B. Buchberger. Computers and Mathematical Research. In: Mathematical Glimpses into the 21st Century, Round Table at the Third European Congress of Mathematics, Barcelona, C.Casacuberta, R. M. Miro-Roig, J. M. Ortega and S. Xambo-Descamps (ed.), pp. 140-147. 2001. Copyright: Centro Internacional de Metodos Numericos en Ingenieria, Gran Capitan, Barcelona, Espana, Artes Graficas Torres S.A, ISBN: 84-89925-85-2. [bib]
|
|
B. Buchberger. Groebner Rings and Modules. In: Proceedings of SYNASC 2001 (The 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing), S. Maruster, B. Buchberger, V. Negru, T. Jebelean (ed.), pp. 22-25. 2-5 October 2001. University of the West Timisoara, Romania, RISC-Linz Report Series No. 01-20. [abstract] [pdf] [ps] [bib]
|
|
B. Buchberger. Groebner Bases and Systems Theory. Multidimensional Systems and Signal Processing, Special Issue on "Applications of Groebner Bases in Multidimensional Systems and Signal Processing" 12(3/4), pp. 223-253. October 2001. Kluwer Academic Publishers, Boston, ISSN 0923-6082. Z. Lin, L. Xu (eds.). [bib]
|
|
B. Buchberger. Logicographic Symbols: A New Feature in Theorema. In: Symbolic Computation - New Horizons (Proceedings of the 4th International Mathematica Symposium), Y. Tazawa (ed.), pp. 23-30. 25-27 June 2001. Copyright: Tokyo Denki University Press, Tokyo Denki University, Chiba New Town Campus, Japan, ISBN 4-501-73020-X C3041. [pdf] [abstract] [ps] [bib]
|
|
K. Nakagawa, B. Buchberger. Presenting Proofs Using Logicographic Symbols. In: Proceedings of the Workshop on Proof Transformation and Presentation at the IJAR-2001, A. Fiedler, H. Horacek (ed.), pp. -. 18 June 2001. Siena, [abstract] [ps] [pdf] [bib]
|
|
B. Buchberger. Theorema: A Proving System Based on Mathematica. The Mathematica Journal 8(2), pp. 247-252. 2001. Copyright: Wolfram Research, ISSN: 1047-5974. [bib]
|
|
B. Buchberger. The PCS Prover in Theorema. In: Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), R. Moreno-Diaz, B. Buchberger, J.L. Freire (ed.), Lecture Notes in Computer Science 2178 , pp. 469-478. 19-23 February 2001. Copyright: Springer - Verlag Berlin, Las Palmas de Gran Canaria, ISSN 0302-9743, ISBN 3-540-429. [ps] [pdf] [abstract] [bib]
|
|
B. Buchberger. Groebner Bases: A Short Introduction for Systems Theorists. In: Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), R. Moreno-Diaz, B. Buchberger, J.L. Freire (ed.), Lecture Notes in Computer Science 2178 , pp. 1-19. 19-23 February 2001. Copyright: Springer - Verlag Berlin, Las Palmas de Gran Canaria, ISSN 0302-9743, ISBN 3-540-429. [abstract] [pdf] [bib]
|
|
Bruno Buchberger, Olga Caprotti. MKM'01. First International Workshop on Mathematical Knowledge Management. 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]
|
|
B. Buchberger, O. Caprotti (ed.). First International Workshop on Mathematical Knowledge Management (MKM 2001). Proceedings of First International Workshop on Mathematical Knowledge Management (MKM 2001), RISC-Linz, Austria, September 2001. [url] [bib]
|
|
R. Moreno-Diaz, B. Buchberger, J.L. Freire (ed.). Computer Aided Systems Theory – EUROCAST 2001. Proceedings of EUROCAST 2001, 2001. Springer-Verlag Berlin Heidelberg, ISSN 0302-9743, ISBN 3-540-429. [bib]
|
|
K. Nakagawa, B. Buchberger. Two Tools for Mathematical Knowledge Management in Theorema. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 01-37, SFB Report, December 2001. [bib]
|
|
K. Nakagawa, B. Buchberger. Presenting Proofs Using Logicographic Symbols. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 01-35, SFB Report, December 2001. [bib]
|
|
B. Buchberger. Mathematical Knowledge Management using THEOREMA. 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]
|
|
B. Buchberger (member of the editorial board) (ed.). Analele Universitatii din Timisoara, Seria Matematica - Informatica. University of Timisoara, Mathematical Institute, ISSN 1224-970X. [bib]
|
|
B. Buchberger, K. Nakagawa. The Role of Logicographic Symbols for Mathematical Knowledge Management. 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]
|
|
B. Buchberger. Mathematical Knowledge Management in THEOREMA. 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]
|
|
B. Buchberger. Computer-assisted Proving by the PCS Method. In: Proceedings of the Workshop on Constructive Algebra, - (ed.), pp. -. 1-3 November 2000. Amsterdam, -. Springer Lecture Notes in Computer Science, submitted. [pdf] [abstract] [pdf] [bib]
|
|
B. Buchberger. Mathematics and Computer Science: A Personal View. Analele Universitatii din Timisoara, Seria Matematica - Informatica 38(1), pp. 3-15. 2000. ISSN 1224-970X. [bib]
|
|
B. Buchberger. Theory Exploration with Theorema. Analele Universitatii Din Timisoara, Seria Matematica-Informatica XXXVIII(2), pp. 9-32. 2000. ISSN 1124-970X. Selected papers of the 2nd International Workshop on Symbolic and Numeric Algorithms in Scientific Computing, Oct. 4-6, 2000, Timisoara, Romania (T. Jebelean, V. Negru, A. Popovici eds.). [abstract] [ps] [pdf] [bib]
|
|
B. Buchberger. Theorem Proving For and With Gröbner Bases Theory. In: 2nd International Workshop on Multidimensional (nD) Systems, June 27-30, 2000, Csocha Castle, Lower Silesia, Poland., K. Galkowski (ed.), pp. 15-22. 2000. Copyright: Technical University Press, Zielona Gora, Poland, ISBN: 83-85911-71-5. [bib]
|
|
B. Buchberger. Computer-Algebra: Das Ende der Mathematik? (Computer Algebra: The End of Mathematics?). In: Mitteilungen der Deutschen Mathematiker-Vereinigung, 2, pp. 16-19. 2000. Copyright: Birkhaeuser Verlag AG, Basel, Switzerland, ISSN 0947-4471, ISSN 1399-590. (English Translation in: ACM SIGSAM Bulletin, March 2002. Danish Translation in: Matilde, Nr. 8, February 2000, pp. 4-7, Univ. of Kobenhavn). [pdf] [ps] [abstract] [bib]
|
|
B. Buchberger. Mathematik am Computer: Die naechste Ueberforderung? (Mathematics on the Computer: The Next Overtaxation?). In: Didaktik-Reihe der Oesterreichischen Mathematischen Gesellschaft (Proceedings of a Symposium for High-school Teachers, September 24, 1999, Graz, Austria), Vol.131, pp. 37-56. March 2000. [bib]
|
|
B. Buchberger, D. Vasaru, T. Jebelean. The Theorema System: Current Status and the Proving-Solving-Computing Cycle. Technical report no. 00-37 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. May 2000. [ps] [bib]
|
|
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. The Theorema System: Proving, Solving, and Computing for the Working Mathematician. Technical report no. 00-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 2000. [ps] [bib]
|
|
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. The Natural Style Provers of Theorema: A Survey of Strategies for Different Mathematical Domains. Technical report no. 00-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2000. [ps] [bib]
|
|
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. The Facilities of Theorema for Teaching Logic and Mathematics. Technical report no. 00-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2000. [ps] [bib]
|
|
B. Buchberger, C. Dupre, T. Jebelean, F. Kriftner, K. Nakagawa, D. Vasaru, W. Windsteiger. The Theorema Project: A Progress Report. In: Symbolic Computation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning), M. Kerber, M. Kohlhase (ed.), pp. 98-113. 6-7 August 2000. Copyright: A.K. Peters, Natick, Massachusetts, St. Andrews, Scotland, ISBN 1-56881-145-4. [ps] [pdf] [abstract] [bib]
|
|
B. Buchberger, J. Schicho. F 1303: Proving and Solving Over the Reals. 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]
|
|
B. Buchberger, U.Langer. Annual Report of the SFB F013: 1.11.99-31.12.99. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 00-06, SFB Report, March 2000. [bib]
|
|
B. Buchberger. Focus Windows: A New Technique for Presenting Mathematical Proofs (in Automated Theorem Proving Systems). Research Institute for Symbolic Computation, Johannes Kepler University Linz. Technical report no. 2000-01-30, Theorema Technical Report, 2000. [ps] [abstract] [pdf] [bib]
|
|
B. Buchberger. Symbolisches Rechnen: Eliminieren sich die Mathematiker selbst? (Symbolic Computation: Are the Mathematicians Eliminating Their Own Jobs). In: Exhibition Catalogue "Mathematische Machinen: Von der Rechenmaschine zum Computer", F. Pichler (ed.), pp. 1-13. 2000. Strom-Museum, Ybbs, Austria, [bib]
|
|
B. Buchberger et al. F1302: Proving, Solving, and Computing in the Theory of Hilbert Spaces (Research Proposal). 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]
|
|
B. Buchberger, J. Schicho. F 1303: Proving and Solving Over the Reals (Progress Report). 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]
|
|
B. Buchberger et al. F 1302: THEOREMA: Proving, Solving, and Computing in General Domains (Progress Report). 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]
|
|
B. Buchberger et al. F 1301: Coordination and Service Project (Progress Report). 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]
|
|
Bruno Buchberger. Computer-Mathematik in der Schule. Technical report no. 99-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. [zip] [bib]
|
|
Bruno Buchberger. Views on the Future of Computer Science. 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]
|
|
Bruno Buchberger. Mathematics: The Technology of Reasoning. 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]
|
|
Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger. Theorema: A Progress Report. 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]
|
|
Bruno Buchberger, Tudor Jebelean. Distance Teaching of Mathematics Using Theorema. 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]
|
|
Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger. Theorema: A Short Demo. 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]
|
|
Bruno Buchberger. Theory Exploration Versus Theorem Proving. 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]
|
|
B. Buchberger, T. Jebelean. Teaching of Mathematics Using Theorema. The International Journal of Computer Algebra in Mathematical Education 6(1), pp. 25-50. 1999. Copyright: Research Information Ltd., UK., ISSN 1362-7368. [bib]
|
|
B. Buchberger. Mathematik am Computer: Die naechste Ueberforderung? (Mathematics on the Computer: The Next Overtaxation?). 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]
|
|
B. Buchberger, T. Jebelean. Distance Teaching of Mathematics Using Theorema. In: Proceedings of the 3rd Technion Symposium on Software for Communication, H. Gutmann (ed.), pp. -. April 1-3 1999. Hagenberg, Austria, [bib]
|
|
B. Buchberger, U.Langer. Annual Report of the SFB F013: 1.4.98-31.12.98. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 99-02, SFB Report, March 1999. [bib]
|
|
B. Buchberger. Theory Exploration Versus Theorem Proving. 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]
|
|
B. Buchberger, W. Windsteiger. The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols. SFB F013 Numerical and Symbolic Scientific Computing. Technical report no. 98-07, 1998. [pdf] [bib]
|
|
B. Buchberger. Introduction to Groebner Bases. In: Groebner Bases and Applications, B. Buchberger, F. Winkler (ed.), London Mathematical Society Lecture Notes Series 251, pp. 3-31. 1998. Cambridge University Press, ISBN 0-521-63298-6. [pdf] [bib]
|
|
Ulrich Langer, Bruno Buchberger. Numerical and Symbolic Scientific Computing. 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]
|
|
Elena Tomuta, Bruno Buchberger. Combining Provers in the Theorema System. 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]
|
|
Bruno Buchberger, Tudor Jebelean. The Second International Theorema Workshop. Technical report no. 98-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 1998. [bib]
|
|
Bruno Buchberger, Klaus Aigner, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Mircea Marin, Koji Nakagawa, Ovidiu Podisor, Elena Tomuta, Yaroslav Usenko, Daniela Vasaru, Wolfgang Windsteiger. Theorema: An Integrated System for Computation and Deduction in Natural Style. 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]
|
|
B. Buchberger, T. Ida, W. Schreiner. Knowledge Web: A Design and Feasibilty Study. Institute of Information Sciences and Electronics, University of Tsukuba. Technical report, 1998. ISE-TR-98-151. [bib]
|
|
B. Buchberger. Theorema: Theorem Proving for the Masses Using Mathematica. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 98-04, SFB Report, June 1998. Worldwide Mathematica Conference, Chicago, USA, June 20, 1998. [bib]
|
|
B. Buchberger, T. Jebelean, D. Vasaru. Theorema: A System for Formal Scientific Training in Natural Language Presentation. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 98-05, SFB Report, June 1998. [bib]
|
|
B. Buchberger, T. Jebelean, D.Vasaru. Theorema: A System for Formal Scientific Training in Natural Language Presentation. In: Proceedings of Ed-Media 1998 (International Conference on Educational Multimedia), - (ed.), pp. 174-179. June 20-23 1998. Freiburg, Germany, [bib]
|
|
B. Buchberger. Theorema: The Current Status. 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]
|
|
B. Buchberger, T. Jebelean. Theorema: Using the Predicate Logic Prover for Proof Training. 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]
|
|
B. Buchberger, W.Windsteiger. The Theorema Language: Implemening Object- and Meta-Level Usage of Symbols. 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]
|
|
B. Buchberger. An Algorithmic Criterion for the Solvability of a System of Algebraic Equations. In: Gröbner Bases and Applications, B. Buchberger, F. Winkler (ed.), London Mathematical Society Lecture Notes Series 251 , pp. 535-545. 1998. Cambridge University Press, ISBN 0-521-63298-6. [pdf] [bib]
|
|
Second International Theorema Workshop (ed.). Second International Theorema Workshop. Proceedings of Second International Theorema Workshop, 1998. [bib]
|
|
B. Buchberger, F. Winkler (ed.). Gröbner Bases and Applications - Proceedings of 33 Years of Gröbner Bases. London Mathematical Society Lecture Note Series 251, 1 edition, March 1998. Cambridge University Press, ISBN-10: 0521632986; ISBN-13: 978-0521632980. [bib]
|
|
B. Buchberger. Introduction to Groebner Bases. In: Logic of Computation, H.Schwichtenberg (ed.), Proceedings of NATO Advanced Study Institute on Logic of Computation, Marktoberdorf, Germany, July 25-August 6, 1995, NATO ASI Series, Series F: Computer and Systems Sciences Vol. 157, pp. 35-66. 1997. Springer - Verlag Berlin, ISBN 3-540-62963-7. [bib]
|
|
B. Buchberger. Groebner Bases. Encyclopaedia of Mathematics Supplement Volume I, pp. 275-275. 1997. Kluwer Acad. Publ., ISBN 0-7923-4709-9. (Editor-in-Chief: M. Hazewinkel). [bib]
|
|
B. Buchberger. Mathematica: Doing Mathematics by Computer?. In: Advances in the Design of Symbolic Computation Systems, A. Miola, M. Temperini (ed.), pp. 2-20. 1997. Springer Vienna, ISSN 0943-853X, ISBN 3-211-82-844-3. RISC Book Series on Symbolic Computation. [bib]
|
|
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru. A Survey of the Theorema Project. Technical report no. 97-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. March 1997. [ps] [bib]
|
|
Bruno Buchberger, Wolfgang Schreiner. CONCERT: A Software Architecture for Coordinating Education. Technical report no. 97-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 1997. [ps] [bib]
|
|
Bruno Buchberger, Tudor Jebelean, Daniela Vasaru. Theorema: A System for Formal Scientific Training in Natural Language Presentation. Technical report no. 97-34 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. October 1997. [bib]
|
|
Bruno Buchberger, Tetsuo Ida, Daniela Vasaru. First International Theorema Workshop. 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]
|
|
B. Buchberger, T. Jebelean, F. Kriftner, M. Marin, E. Tomuta, D. Vasaru. A Survey of the Theorema project. In: Proceedings of ISSAC'97 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23, 1997), W. Kuechlin (ed.), pp. 384-391. 1997. ACM Press, ISBN 0-89791-875-4. [bib]
|
|
B. Buchberger, M. Marin. Proving by Simplification. 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]
|
|
B. Buchberger. A Note on Computing Times in Different Programming Styles in Mathematica. 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]
|
|
B. Buchberger, D. Vasaru. Theorema: The Induction Prover over Lists. 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]
|
|
B. Buchberger, T. Jebelean. Theorema: The Predicate Logic Prover. 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]
|
|
B. Buchberger. The Theorema Prover for Equalities over the Natural Numbers. 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]
|
|
B. Buchberger. Theorema: Natural Language and Nested Cells Representation of Proofs. 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]
|
|
B. Buchberger, F. Kriftner. Theorema: The Language. 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]
|
|
B. Buchberger. Theorema: An Overview on the Project and the Proceedings. 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]
|
|
B. Buchberger. Using Mathematica for Doing Simple Mathematical Proofs. In: Proceedings of the 4th Mathematica Users' Conference, Tokyo, November 2, 1996., - (ed.), pp. 80-96. 1996. Copyright: Wolfram Media Publishing, -. [bib]
|
|
B. Buchberger. Mathematica as a Rewrite Language. In: Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, November 1-4, 1996, Shonan Village Center), T. Ida, A. Ohori, M. Takeichi (ed.), pp. 1-13. 1996. Copyright: World Scientific, Singapore - New Jersey - London - Hong Kong, ISBN 981-02-2923-2. [ps] [pdf] [abstract] [bib]
|
|
B. Buchberger. Symbolic Computation: Computer Algebra and Logic. In: Frontiers of Combining Systems, Proceedings of FROCOS 1996 (1st International Workshop on Frontiers of Combining Systems), March 26-28, 1996, Munich, F. Bader, K.U. Schulz (ed.), Applied Logic Series Vol.3, pp. 193-220. 1996. Kluwer Academic Publisher, Dordrecht - Boston - London, The Netherlands, -. [ps] [pdf] [abstract] [bib]
|
|
B. Buchberger. Mathematische Software-Systeme: Die Zukunft (Mathematical Software Systems: The Future). Informatik-Spektrum 19(2), pp. 100-101. 1996. Springer, Heidelberg, ISSN 0170-6012. [bib]
|
|
W. Jacak, B. Buchberger, S. Stifter. Intelligent Systems Combining Reactive and Learning Capabilities. In: Proceedings of the 13th European Meeting on Cybernetics and Systems Research, Vienna, Austria, R. Trappl (ed.), pp. 77-82. 1996. Austrian Society for Cybernetic Studies, Vienna, ISBN 3 85206 133 4. [bib]
|
|
W. Jacak, B. Buchberger, S. Dreiseitl, T. Kubik. Intelligent Robotic Arm Based on Reactive Control. In: Proceeding of the 5th International Workshop on Robotics in Alpe-Adria-Danube Region (RAAD'96), Budapest, Hungary, June 10-13, I. J. Rudas (ed.), pp. 297-302. 1996. Hungarian Robotics Association, Budapest, ISBN 963 420 482 1. [bib]
|
|
Bruno Buchberger. Symbolic Computation: Computer Algebra and Logic. Technical report no. 96-36 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1996. [ps] [bib]
|
|
Bruno Buchberger. Introduction to Groebner Bases. Technical report no. 96-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1996. [bib]
|
|
Bruno Buchberger. Mathematica as a Rewrite Language. Technical report no. 96-40 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1996. [bib]
|
|
B. Buchberger. Mathematiksoftware und Mathematikunterricht: Ein Vorwort (Mathematical Software and Mathematics Teaching: A Preface). 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]
|
|
B. Buchberger, N. Kulathuramaiyer, H. Maurer, et. al. (ed.). Journal for Universal Computer Science. ISSN 0948-695x. [bib]
|
|
I. Duleba, W. Jacak, R. Muszynski, B. Buchberger. Symbolic Computation-Based Synthesis of Neural Network Dynamics and Controllers for Robots. In: Proceedings of the 1995 IEEE International Conference on Neural Networks (ICNN'95), Perth, Australia, - (ed.), pp. 2720-2725. 1995. -. [bib]
|
|
B. Buchberger. Symbolic Computation Software Systems: The Current State of Technology. 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]
|
|
Editors: B. Buchberger, S. Stifter, J. Volkert, P. Zinterhof. Workshop PARAGRAPH'94 (Collection of Abstracts). Technical report no. 94-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
|
|
Bruno Buchberger. Symbolic Computation: Foundations and Applications. 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]
|
|
Bruno Buchberger, Jens VOLKERT (eds.). CONPAR 94 - VAPP VI (Poster Presentations). Technical report no. 94-48 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
|
|
B. Buchberger, J. Volkert (ed.). Parallel Processing: CONPAR 94 – VAPP VI. Proceedings of 3rd Joint International Conference on Vector and Parallel Processing, Linz, Austria, Lecture Notes in Computer Science, 854, September 1994. Springer-Verlag Berlin - Heidelberg - New York, ISBN 3-540-58430-7. [bib]
|
|
Bruno Buchberger. Mathematica: Doing Mathematics by Computer?. 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]
|
|
Wolfgang Windsteiger, Bruno Buchberger. GRÖBNER: A Library for Computing Gröbner Bases based on SACLIB. Technical report no. 93-72 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [ps] [bib]
|
|
Bruno Buchberger, George E. Collins, Mark J. Encarnacion, Hoon Hong, Jeremy R. Johnson, Werner Krandick, R\\. SACLIB 1.1 User's Guide. Technical report no. 93-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [bib]
|
|
B. Buchberger, T. Jebelean. Systolic Multiprecision Arithmetic. In: Proceedings of Impact TEMPUS JEP and Hungarian Transputer Users Group Workshop "Parallel Processing in Education", - (ed.), pp. -. March 1993. Miskolc, Hungary, -. [bib]
|
|
B. Buchberger (member of editorial board) (ed.). Annals of Mathematics and Artificial Intelligence. J.C.Baltzer AG Science Publishers, Basel, Switzerland, ISSN 1012-2443. [bib]
|
|
B. Buchberger, J. Elias. Using Groebner Bases for Detecting Polynomial Identities. A Case Study on Fermat's Ideal. Journal of Number Theory 41(3), pp. 272-279. July 1992. Academic Press, New York, 0022-314X/92. [pdf] [bib]
|
|
Bruno Buchberger, Scott Mccallum. Geometric Modeling Based on Logic and Algebra. 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]
|
|
Bruno Buchberger, Tudor Jebelean. Parallel Rational Arithmetic for Computer Algebra Systems: Motivating Experiments. 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]
|
|
Bruno Buchberger, Tudor Jebelean. Systolic Algorithms in Computer Algebra State of the Project. Technical report no. 92-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
|
|
Bruno Buchberger. Vortrag im Informatik Kolloquium der Universitaet Darmstadt Mai 1992. Technical report no. 92-43 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
|
|
Bruno Buchberger, Juan Elias. Using Gr{\"o}bner Bases for Detecting Polynomial Identities: A Case Study on Fermat's Ideal. Technical report no. 92-63 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
|
|
Bruno Buchberger. Bourbakism und Algorithmische Mathematik. Technical report no. 92-74 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. [bib]
|
|
B. Buchberger, M. Bras-Amoros, T. Hoholdt (ed.). Applied Algebra and Error Correcting Codes. Springer, Heidelberg, Germany, ISSN 0302-9743. [bib]
|
|
B. Buchberger. Groebner Bases in Mathematica: Enthusiasm and Frustration. In: Proceedings of the IFIP Working Conference on Programming Environments for High-Level Symbolic Computation, September 23-27, Karlsruhe, Germany, P. W. Gaffney, E. N. Houstis (ed.), pp. 80-91. 1991. Copyright: IBM, Bergen Scientific Center Publishing, -. [pdf] [bib]
|
|
Bruno Buchberger. Gr{\"o}bner Bases in Mathematica: Enthusiasm and Frustation. Technical report no. 91-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1991. Published in Proceedings IFIP TC2/WG2.5 Working conf. on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, Sept. 23-27 1991, P.W. Gaffney, E.N. Houstis (eds.).. [bib]
|
|
Bruno Buchberger, Hoon Hong. Speeding-up Quantifier Elimination by Groebner Bases. Technical report no. 91-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 1991. [pdf] [bib]
|
|
B. Buchberger, T. Jebelean. Systolic Algorithms in Computer Algebra. In: Proceedings of the NATO ASI on Parallel Processing on Distributed Memory Multiprocessors, - (ed.), pp. -. July 1991. Ankara, -. [bib]
|
|
B. Buchberger. Should Students Learn Integration Rules?. ACM SIGSAM Bulletin 24(1), pp. 10-17. January 1990. -. [pdf] [bib]
|
|
Bruno Buchberger. Fermat's Ideal Can Be Generated by the First Three Fermat Polynomials. Technical report no. 90-44 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [bib]
|
|
Bruno Buchberger. Symbolic Computation: Pure Computer Mathematics. 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]
|
|
Bruno Buchberger. An Implementation of Gr{\"o}bner Bases in Mathematica. Technical report no. 90-58 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [bib]
|
|
E. Kaltofen, B. Buchberger. Editorial for Special Issue Computational Algebraic Complexity. In: Journal of Symbolic Computation, E. Kaltofen, B. Buchberger (ed.)Vol.9, pp. 225-228. 1990. Academic Press Limited, 0747-7171/90. [pdf] [bib]
|
|
B. Buchberger. Should Students Learn Integration Rules?. Technical report no. 89-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1989. [bib]
|
|
B. Buchberger. Subproject: Parallel Symbolic Computation. Technical report no. 89-46 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1989. [bib]
|
|
B. Buchberger, G. E. Collins, B. Kutzler. Algebraic Methods for Geometric Reasoning. In: Annual Reviews in Computer Science, J. F. Traub (ed.)Vol. 3, pp. 85-119. 1988. Copyright: Annual Reviews Inc., ISSN 8756-7016/88. [pdf] [bib]
|
|
B. BUCHBERGER. Interne Struktur von RISC-LINZ. Technical report no. 88-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
|
|
B. Buchberger. A Note on Proofs for the Main Theorem in Groebner Bases Theory. Technical report no. 88-34 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
|
|
B. Buchberger. Forschungsstrategien: USA -- Japan -- \"Osterreich. Technical report no. 88-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
|
|
B. BUCHBERGER. Computer Algebra. Technical report no. 88-62 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
|
|
B. Buchberger. History and Basic Features of the Critical-Pair/Completion Procedure. Journal of Symbolic Computation 3(1/2), pp. 3-38. 1987. Copyright: Academic Press Inc., Harcourt Brace Jovanovich Publishers, London, ISSN 0747-7171. (Earlier version appeared in: Proceedings of the Conference on Rewrite Technique and Applications, Dijon, May 1985, Lecture Notes in Computer Science, Vol. 202, Springer, 1985, pp. 1-45). [pdf] [bib]
|
|
B. Buchberger. Applications of Groebner Bases in Non-Linear Computational Geometry. In: IMA Volumes in Mathematics and its Applications, Vol. 14, J. R. Rice (ed.), Proceedings of Workshop on Scientific Software, Minneapolis, USA, March 23-26, 1987, pp. 59-88. 1987. Copyright: Springer, New York, -. [pdf] [pdf] [pdf] [bib]
|
|
B. Buchberger. The Parallelization of Critical-Pair/Completion Procedures on the L-Machine. In: Proceedings of the Japanese Symposium on Functional Programming, RIKEN Institute, - (ed.), pp. 54-61. February 1987. -. [bib]
|
|
F. Winkler, B. Buchberger. A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm. In: Proceedings of Algebra and Logic in Computer Science, Gyor, Hungary, J. Demetrovics, G. Katona, A. Salomaa (ed.), Colloquia Mathematica Societatis Janos Bolyai 42, pp. 849-869. September 1986. North Holland, ISBN-10: 0444986952; ISBN-13: 978-0444986955. [pdf] [bib]
|
|
B. Buchberger, B. Kutzler. Computer-Algebra fuer den Ingenieur (Computer Algebra for the Engineer). In: Rechnerorientierte Verfahren, B. Buchberger and B. Kutzler and M. Feilmeier and M. Kratz and U. Kulisch and S. Rump (ed.), pp. 11-68. 1986. Teubner Verlag, Stuttgart, ISBN 3-519-02617-1. [pdf] [pdf] [pdf] [bib]
|
|
B. Buchberger, B. Kutzler, M. Feilmeier, M. Kratz, U. Kulisch, S. Rump (ed.). Rechnerorientierte Verfahren (Computer Oriented Methods). 1986. Teubner Verlag, Stuttgart, ISBN 3-519-02617-1. [bib]
|
|
F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek. Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Transactions on Mathematical Software 11(1), pp. 66-78. March 1985. ACM, no. [pdf] [bib]
|
|
B. Buchberger. Mathematik fuer Informatiker: Ein algorithmenorientierte Ansatz an der Universitaet Linz (Mathematics for Computer Scientists: An Algorithm Oriented Approach at the University of Linz). In: Proceedings of the Mathematica Didactics Conference, Kassel, Oct. 4-6, 1984, R. Schaper (ed.), pp. 156-172. 1985. Copyright: Leuchtturm Verlag, -. [bib]
|
|
B. Buchberger, P. Hintenaus. The L-Language for the Parallel L-Machine (A Parallel Architecture for AI Applications). In: Proceedings of the Conference of the Austrian Society for Aritificial Intelligence, Vienna, H. Trost, J. Retti (ed.), Informatik-Fachberichte 106, pp. 120-131. September 1985. Copyright: Springer - Verlag Berlin, ISBN 3-540-15695-X. [pdf] [bib]
|
|
B. Buchberger. The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. In: Proceedings of the AAECC Conference, Grenoble, J. Calmet (ed.), Springer Lecture Notes in Computer Science 229, pp. 333-347. July 1985. ISBN 978-3-540-16776-1. [pdf] [bib]
|
|
B. Buchberger. History and Basic Features of the Critical-Pair/Completion Approach. In: Proceedings of the Conference on Rewriting Techniques and Applications, Dijon, J.-P. Jouannaud (ed.), Lecture Notes in Computer Science 202, pp. 1-45. May 1985. Springer, ISBN 978-3-540-15976-6. [bib]
|
|
B. Buchberger. The Parallel L-Machine for Symbolic Computation. In: Proceedings of EUROCAL '85 (European Conference on Computer Algebra), Linz, Austria, April 1-3, 1985, Proceedings Vol.2: Research Contributions, B.F. Caviness (ed.), Lectures Notes in Computer Science 204, pp. 541-542. 1985. Copyright: Springer - Verlag Berlin, ISBN 3-540-15984-3. [pdf] [bib]
|
|
F. Lichtenberger, B. Buchberger. Mathematik fuer Informatiker: Ein algorithmenorienter Ansatz an der Universitaet Linz (Mathematics for Computer Scientists: An Algorithm Oriented Approach at the University of Linz). In: Special issue: Proceedings of the Symposium "Lehr- und Lernprozesse in der Ingenieurausbildung", Technische Universitaet Graz, Austria, October 8-9, 1985, - (ed.), Zeitschrift fuer Hochschuldidaktik 910, pp. 103-110. 1985. ISBN 3-900386-10-2. [pdf] [bib]
|
|
B. Buchberger. Groebner-Bases: An Algorithmic Method in Polynomial Ideal Theory. In: Multidimensional Systems Theory - Progress, Directions and Open Problems in Multidimensional Systems, N.K. Bose (ed.), Chapter 6, pp. 184-232. 1985. Copyright: Reidel Publishing Company, Dordrecht - Boston - Lancaster, The Netherlands, ISBN 90-277-1764-8, ISBN 1-4020-1623-9. (Second editioin: N.K.Bose (ed.): Multidimensional Systems Theory and Application, Kluwer Academic Publisher, 2003, pp.89-128.). [pdf] [pdf] [bib]
|
|
B. Buchberger et al.. Symbolic Computation (An Editorial). 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]
|
|
B. Buchberger (founding editor-in-chief 1985-1995) (ed.). Journal of Symbolic Computation. Journal of Symbolic Computation, Academic Press Inc., Harcourt Brace Jovanovich Publishers, London, [bib]
|
|
B. Buchberger (ed.). EUROCAL '85. Proceedings of European Conference on Computer Algebra (EUROCal '85), Linz, Austria, Lecture Notes in Computer Science, 203I (Invited Lectures), April 1985. Springer-Verlag Berlin-Heidelberg-New York-Tokyo, ISBN 3-540-15983-5, ISBN 0-397-15983-5. [bib]
|
|
B. Buchberger, E.V. Krishnamurthy, F. Winkler. Gröbner Bases, Polynomial Remainder Sequences and Decoding of Multivariate Codes (Problem #7). Recent Trends in Multidimensional Systems Theory, pp. 252-256. 1985. D. Reidel Publ. Comp., ISBN-10: 90-277-1764-8; ISBN-13: 1-4020-1623-9. [pdf] [bib]
|
|
W. Bibel, B. Buchberger. Towards a Connection Machine for Logical Inference. In: Fifth Generation and Supercomputer Conference, Rotterdam, - (ed.), pp. 177-188. December 1984. -. ( Appeared in Future Generation Computer Systems 1/3). [pdf] [bib]
|
|
B. Buchberger. The Present State of the L-Networks Project. In: Proceedings MIMI 84 (Conference on Mini- and Microcomputers and Their Applications), Bari, Juni 5-8, 1984, G. Mastronardi (ed.), pp. 178-181. 1984. Copyright: Acta Press, Anaheim - Calgary - Zurich, ISBN 0-88986-058-0. [pdf] [bib]
|
|
B. Buchberger. A Critical-Pair/Completion Algorithm for Finitely Generated Ideals in Rings. In: Logic and Machines: Decision Problems and Complexity (Proceedings of the Symposium "Rekursive Kombinatorik", Muenster, May 23-28, 1983), E. Boerger, G. Hasenjaeger, D. Roedding (ed.), Lecture Notes in Computer Science 171, pp. 137-161. 1984. Copyright: Springer - Verlag, Berlin - Heidelberg - New York -Tokyo, ISBN 3-540-13331-3, ISBN 0-387-13331-3. [pdf] [bib]
|
|
B. Buchberger. Automatisches Programmieren (Automated Programming). In: Artificial Intelligence - Eine Einfuehrung, J. Retti et al. (ed.), pp. 169-198. 1984. Teubner, Stuttgart, ISBN 3-519-02473-X. [pdf] [pdf] [pdf] [pdf] [bib]
|
|
B. Buchberger. Components for Restructurable Multi-Microprocessor Systems of Arbitrary Topology. In: Proceedings of the 21st Symposium on Mini- and Microcomputers, MIMI 83, Lugano, - (ed.), pp. 67-71. June 1983. -. [bib]
|
|
B. Buchberger. A Note on the Complexity of Constructing Groebner-Bases. In: Computer Algebra (Proceedings of EUROCAL 83, European Computer Algebra Conference, London, March 28-30, 1983), J.A. van Hulzen (ed.), Lecture Notes in Computer Science 162, pp. 137-145. 1983. Copyright: Springer- Verlag Berlin - Heidelberg - New York - Tokyo, ISBN 3-540-12868-9. [pdf] [bib]
|
|
B. Buchberger. Groebner Bases: A Method in Symbolic Mathematics. 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]
|
|
B. Buchberger. A Critical-Pair/Completion Algorithm in Reduction Rings. Technical report no. 83-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1983. [pdf] [bib]
|
|
B. Buchberger. Miscellaneous Results on the Groebner-Bases for Polynomial Ideals II. Department of Computer And Information Sciences, University of Delaware. Technical report no. 83-1, 1983. [bib]
|
|
H. Moeller, B. Buchberger. The Construction of Multivariate Polynomials with Pre-assigned Zeros. In: Computer Algebra (Proceedings of EUROCAM '82, European Computer Algebra Conference), Marseille, April 5-7, 1982, J. Calmet (ed.), Lecture Notes in Computer Science 144, pp. 24-31. 1982. Copyright: Springer - Verlag Berlin - Heidelberg - New York, ISBN 3-540-11607-9. [pdf] [bib]
|
|
B. Buchberger. Computer-unterstuetzter Algorithmenentwurf (Computer-Aided Algorithm Design). In: Proceedings of the Fruehjahrsschule Kuenstliche Intelligenz, Teisendorf, March 15-24, 1982, W. Bibel, J. H. Siekmann (ed.), Informatik-Fachberichte 59, pp. 141-202. 1982. Copyright: Springer -Verlag Berlin - Heidelberg - New York, ISBN 3-540-11974-4. [pdf] [bib]
|
|
B. Buchberger, R. Loos. Algebraic Simplification. In: Computer Algebra - Symbolic and Algebraic Computation, B. Buchberger, G. E. Collins, R. Loos (ed.), pp. 11-43. 1982. Copyrigth: Springer Verlag, Vienna - New York, -. [pdf] [bib]
|
|
B. Buchberger, G.E. Collins, R. Loos (ed.). Computer Algebra - Symbolic and Algebraic Computation. Computing (Archiv for Informatics and Numerical Computation), Supplement Nr. 4 (1st ed.), 1982. Springer Verlag Wien, ISSN 0344-8029, ISBN 3-211-81684-4, ISBN 0-387-81684-4, ISBN 3-211-81776-X, ISBN 0-387-81776-X, ISBN 7-5062-0253-0, BBK 22.14+22.16. (2nd edition: Springer-Verlag Wien-New York, 1982, 1983; Reprinted: World Publishing Coorporation, Beijing, 1988; Russian translation: translated by V.P. Gerdt, D.Yu.Grigoryev, V.A. Rostovtsev, S.Yu. Slavyanov, Mir Publishing Company, Moscow, 1986). [bib]
|
|
B. Buchberger, F. Lichtenberger. Mathematik für Informatik I – Die Methode der Mathematik (Mathematics for Computer Science I – The Method of Mathematics). Second edition, 1981. Springer-Verlag, Berlin - Heidelberg - New York, 315 pages, ISBN 3-540-11150-6. [pdf] [bib]
|
|
B. Buchberger. Computer-unterstuetzter mathematisches Problemloesen: Eine Uebersicht (Computer-Aided Mathematical Problem Solving: A Survey). 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]
|
|
B. Buchberger. H-bases and Groebner-Bases for Polynomial Ideals. 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]
|
|
B. Buchberger, K. Aspetsberger. A Universal Variable-Topology Multi-Microcomputer-System. In: Proc. of the 6th International Symphosium on Mini- and Microcomputers, MIMI '80, Budapest, Hungary, - (ed.), pp. 136-140. September 1980. -. [pdf] [bib]
|
|
L. Bachmair, B. Buchberger. A Simplified Proof of the Characterization Theorem for Groebner-Bases. ACM SIGSAM Bull. 14(4), pp. 29-34. November 1980. Copyright: ACM, New York., no. [pdf] [bib]
|
|
B. Buchberger. 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). Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Institut fuer Mathematik. Technical report no. 162, February 1980. [bib]
|
|
B. Buchberger. A Criterion for Detecting Unnecessary Reductions in the Construction of Groebner Bases. In: Proceedings of the EUROSAM 79 Symposium on Symbolic and Algebraic Manipulation, Marseille, June 26-28, 1979, E. W. Ng (ed.), Lecture Notes in Computer Science 72, pp. 3-21. 1979. Copyright: Springer, Berlin - Heidelberg - New York, ISBN 3-540-09519-5. [pdf] [bib]
|
|
B. Buchberger, J. Fegerl, F. Lichtenberger. Computer Trees: A Concept for Parallel Processing. Microprocessing and Microsystems 3(6), pp. 244-248. 1979. -. [pdf] [bib]
|
|
B. Buchberger, R. Neubauer, H. Rolletschek, G. Seeber. A Note on Some Variants of the Notion of Creative Set. Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Insitut fuer Mathematik. Technical report no. 139, July 1979. [bib]
|
|
B. Buchberger, F. Winkler. Miscellaneous Results on the Construction of Groebner-Bases for Polynomial Ideals. Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Insitut fuer Mathematik. Technical report no. 137, June 1979. [bib]
|
|
B. Buchberger, B. Quatember. Systems with Universal Subsystems: Realization and Application. In: Proceedings of the Fourth European Meeting on Cybernetics and Systems Research, Linz, - (ed.), Progress in Cybernetics and Systems Research Vol. VII, pp. 25-32. April 1978. Hemisphere Publ. Corp., -. [pdf] [bib]
|
|
C. Kollreider, B. Buchberger. An Improved Algorithmic Construction of Groebner Bases for Polynomial Ideals. ACM SIGSAM Bull. 12(2), pp. 27-36. May 1978. -. [pdf] [bib]
|
|
B. Buchberger. Computer-Trees and Their Programming. In: Proceedings of the 4th Coll. "Les arbres en algebre et en programmation", February16-18, 1978, University of Lille, Dept. of Computer Science, - (ed.), pp. 1-18. 1978. -. [pdf] [bib]
|
|
B. Buchberger, B. Roider. Input/Output Codings and Transition Functions in Effective Systems. Internat. Journal on General Systems 4(3), pp. 201-209. 1978. -. [pdf] [bib]
|
|
B. Buchberger, W. Menzel. Simulation-Universal Automata. 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]
|
|
B. Buchberger, W. Menzel. Simulation-Universal Automata. Universitaet Karlsruhe, Fakultaet fuer Informatik I. Technical report no. 14/77, 1977. [bib]
|
|
B. Buchberger. Das Problem der Programmverifikation (The Problem of Program Verification). In: Jahrbuch Ueberblicke Mathematik 1976, Bibliographischs Institut, Mannheim, - (ed.), pp. 163-188. 1976. Copyright: Bibliographisches Institut AG Zuerich, ISBN 3-411-01505-5. [pdf] [bib]
|
|
B. Buchberger. Some Properties of Groebner Bases for Polynomial Ideals. ACM SIGSAM Bull. 10(4), pp. 19-24. 1976. Copyright: ACM, New York, -. [pdf] [bib]
|
|
B. Buchberger. A Theoretical Basis for the Reduction of Polynomials to Canonical Forms. ACM SIGSAM Bull. 10(3), pp. 19-29. 1976. Copyright: ACM, New York, -. [pdf] [bib]
|
|
B. Buchberger. Eine Bemerkung zu rekursiven Komponenten und 1-1-Splintern (A Remark on Recursive Components and 1-1 Splinters). University of Linz, Institute for Mathematics. Technical report, September 1976. [bib]
|
|
B. Buchberger. Einige Resultate ueber universelle Automaten (Some Results on Universal Automata). Mathematisches Forschungsinstitut Oberwolfach. Technical report no. 46|1975, Tagunsbericht, Automatentheorie und Formale Sprachen, pp. 6-7, November 24-28 1975. [bib]
|
|
B. Buchberger. Some Results on Universal Automata and Input/Output Codings. Hochschule Linz, Technische-Naturwissenschaftliche Fakultaet, Institut fuer Mathematik. Technical report no. 34, November 1975. [bib]
|
|
B. Buchberger. Certain Decompositions of Goedel Numberings and the Semantics of Programming Languages. In: Proceedings of the International Symposium on Theoretical Programming, August 7-11, 1972, Novosibirsk, A. Ershov, V. A. Nepomniaschy (ed.), Lecture Notes in Computer Science 5, pp. 152-171. 1974. Copyright: Springer - Verlag Berlin - Heidelberg - New York, ISBN 3-540-067200-5. (Appeared earlier in Russian in: Teoriya Programmirovaniya, part I., Trudy Simposiuma, Novosibirsk, 7-11 August, 1972, Ak. Nauk SSSR, Sibirian Division, Computing Center, pp. 250-266). [pdf] [bib]
|
|
B. Buchberger. On Certain Decompositions of Goedel Numberings. Archiv fuer Math. Logik und Grundlagenforschung 16(1-2), pp. 85-96. 1974. -. [pdf] [bib]
|
|
B. Buchberger, G.A. Yemel`yananko. Metody obratscheniya trechdiagonal'nyx matrits (Methods for the Inversion of Tridiagonal Matrices). Zhurnal vych. mat. i mat. fiziki 13(3), pp. 546-554. 1973. -. (English translation: USSR Computational Mathematics and Mathematical Physics, Vol. 13/3, 1973, pp. 10-20.). [pdf] [bib]
|
|
B. Buchberger, F. Jenewein. Implementierung einer Metasprache zur Definition von Programmiersprachen (Implementation of a Meta-language for the Definition of Programming Languages). Institut fuer Informatik und Numerische Mathematik, Universitaet Innsbruck. Technical report no. 228 (ZUSE Z 23V), Programmbibliothek, November 1973. [bib]
|
|
B. Buchberger. On Certain Decompositions of Goedel Numberings. Institut fuer Informatik, Universitaet Innsbruck. Technical report, 1973. (Appeared in Archiv fuer Mathematische Logik und Grundlagenforschung). [bib]
|
|
B. Buchberger. Bemerkung zu den Reduzierbarkeitskriterien von R.Albrecht fuer das Optimum-Mix-Problem (A Comment on the Reducibility Criteria of R. Albrecht for the Optimum-Mix-Problem). Zeitschrift fuer Operations Research 16, pp. 137-143. 1972. Physica-Verlag, Wuerzburg, -. [pdf] [bib]
|
|
B. Buchberger, B.Roider. A Study on Universal Functions. Institut fuer Numersiche Mathematik und Elektronische Informationsverarbeitung, Universitaet Innsbruck. Technical report no. 72-5, December 1972. [bib]
|
|
B. Buchberger. A Basic Problem in the Thoery of Programming Languages. Institut fuer Numersiche Mathematik und Elektronische Informationsverarbeitung Universitaet Innsbruck. Technical report no. 72-1, February 1972. [pdf] [bib]
|
|
B. Buchberger, G.A. Emelyanenko. Metody obrashteniya trehdiagonal'nih matrits (Methods of Inverting Tridiagonal Matrices). Communications of the Joint Institute for Nuclear Research (JINR), Dubna No. P11-5686, pp. 1-16. 1971. -. [pdf] [bib]
|
|
B. Buchberger. O Velichinah S(i) Opredelennih Rekursiej S(i+1)= u(i) . S(i) + v(i) . S(i-1). (On the Values S(i) Determined by the Recursion S(i+1)= u(i) . S(i) + v(i) . S(i-1)). Communications of the Joint Institute for Nuclear Research (JINR), Dubna No. P5-5789, pp. 1-12. 1971. -. [abstract] [pdf] [ps] [bib]
|
|
B. Buchberger. Associiruyushtshije Funksii i Operator Obyslovlennoj Iteratsii (Associating Functions and the Operator of Conditioned Iteration). Communications of the Joint Institute for Nuclear Research (JINR), Dubna No. P5-5788, pp. 1-18. 1971. no. (English Translation: Bericht Nr. 71-1, June 1971, 16 pages, Universitaet Innsbruck, Institut fuer Informatik.). [pdf] [pdf] [abstract] [bib]
|
|
B. Buchberger. An Extension of ALGOL 60. Communications of the Joint Institute for Nuclear Research (JINR), Dubna No. E5-5787, pp. 1-14. 1971. -. [abstract] [pdf] [bib]
|
|
B. Buchberger. A Comment on Blum's Signal Function. Institut fuer Numerische Mathematik und Elektronische Informationsverarbeitung, Universitaet Innsbruck. Technical report no. 71-3, August 1971. [pdf] [bib]
|
|
R. Albrecht, B. Buchberger. Algorithm 13: Loesung eines Optimum-Mix Problemes (Solution of an Optimum-Mix-Problem). Computing 5, pp. 324-331. 1970. Copyright: Springer Verlag, -. [pdf] [bib]
|
|
B. Buchberger. Ein algorithmisches Kriterium fuer die Loesbarkeit eines algebraischen Gleichungssystems (An Algorithmic Criterion for the Solvability of Algebraic Systems of Equations). Aequationes mathematicae 3, pp. 374-383. 1970. Copyright: Birkhaeuser Verlag AG, Basel, Switzerland, -. (english transl.: B. Buchberger, F. Winkler: Groebner Bases and Applications, Proc. of the International Conference "33 Years of Groebner Bases", 1998, RISC, Austria, London Math. Society Lecture Note Series 251, Cambridge Univ. Press, 1998, pp.535 -545). [pdf] [bib]
|
|
B. Buchberger. Grundbegriffe der Algorithmentheorie (Basic Notions of Algorithm Theory). Angewandte Mathematik, Universitaet und Technische Hochschule Graz. Technical report, October 6-9 1969. Steiermaerkisches Mathematisches Symposium, Grottenhof-Hardt. [pdf] [bib]
|
|
B. Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal). Mathematical Institute, University of Innsbruck, Austria. PhD Thesis. 1965. English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions. Vol. 41, Number 3-4, Pages 475-511, 2006. [pdf] [bib]
|
|
