Bruno Buchberger

Search results

• 2023

  Entwicklungskonzept für den Softwarepark Hagenberg

  Buchberger, B., Jun 2023, 35 p.

  Research output: Other contribution

• 2015

  Evaluation Report for University of Prishtina about Computer Science (Master and Financial Mathematics in Banks and Insurances (Bachelor)

  Buchberger, B., Jun 2015, 120 p.

  Research output: Other contribution

• 2005

  Ein Dank an meine Schule

  Buchberger, B., Jun 2005, 3 p. A6020 Innsbruck, Angerzellgasse 14, Austria. : Akademisches Gymnasium Innsbruck.

  Research output: Other contribution

• 2003

  Predicate Logic as a Working Language

  Buchberger, B. & Windsteiger, W., 2003

  Research output: Other contribution

• 2002

  Computer Algebra: Descent or Ascent?

  Buchberger, B., May 2002

  Research output: Other contribution

• Computing the moore-penrose-inverse by groebner bases.

  Rosenkranz, M., Engl, H. & Buchberger, B., Aug 2002

  Research output: Other contribution

• Focus Windows: A New Technique for Proof Presentation

  Buchberger, B., Feb 2002

  Research output: Other contribution

• Focus Windows: A New Technique for Proof Presentations

  Buchberger, B. & Piroi, F., Mar 2002, 17 p.

  Research output: Other contribution

• Teaching Without Teachers?

  Buchberger, B., Jul 2002

  Research output: Other contribution

• Theorema and Mathematical Knowledge Management

  Buchberger, B., Aug 2002

  Research output: Other contribution

• Understanding and Using Computers

  Buchberger, B., Mar 2002

  Research output: Other contribution

• 2001

  Groebner Bases: A Practical Tool for Nonlinear Algebraic Equations

  Buchberger, B., Jul 2001

  Research output: Other contribution

• Implementation of Groebner Bases: Using Functors in Theorema

  Buchberger, B., Mar 2001

  Research output: Other contribution

• Introduction to Groebner Bases: Theory and Applications

  Buchberger, B., Sept 2001

  Research output: Other contribution

• Logicographic Symbols: Combining Intuition and Formality

  Buchberger, B., Aug 2001

  Research output: Other contribution

• Mathematical Knowledge Management in Theorema

  Buchberger, B., Mar 2001

  Research output: Other contribution

• Mathematical Knowledge Management in Theorema

  Buchberger, B., Mar 2001

  Research output: Other contribution

• Predicate Logic as a Working Language Using Theorema

  Buchberger, B. & Jebelean, T., May 2001

  Research output: Other contribution

• The Didactics of Computer Mathematics

  Buchberger, B., Jan 2001

  Research output: Other contribution

• Theorema: A system for the working mathematician

  Jebelean, T. & Buchberger, B., Sept 2001

  Research output: Other contribution

• Theorema: Proving, Solving and Computing

  Buchberger, B., Jun 2001

  Research output: Other contribution

• The Theorema System: A Frame of Formal Mathematics

  Buchberger, B., Jul 2001

  Research output: Other contribution

• 1998

  33 Years of Groebner Bases: The Early Days

  Buchberger, B., Feb 1998

  Research output: Other contribution

• Computer Support for Inventing Groebner Bases Theory

  Buchberger, B., Aug 1998

  Research output: Other contribution

• Der Software-Park Hagenberg: Möglichkeiten zur Kooperation

  Buchberger, B., Sept 1998

  Research output: Other contribution

• Die Zukunft der Arbeit

  Buchberger, B., Apr 1998

  Research output: Other contribution

• Die Zukunft der Arbeit im ländlichen Raum

  Buchberger, B., Sept 1998

  Research output: Other contribution

• Freies Denken in einer technischen Welt

  Buchberger, B., Jan 1998

  Research output: Other contribution

• Groebner Bases: An Introduction

  Buchberger, B., Jun 1998

  Research output: Other contribution

• Groebner Bases and Applications

  Buchberger, B. & Winkler, F., 1998

  Research output: Other contribution

• Intensive Course on Groebner Bases

  Buchberger, B., Oct 1998

  Research output: Other contribution

• Introduction to Gröbner Bases

  Buchberger, B., Dec 1998, 29 p.

  Research output: Other contribution

• Introduction to Groebner Bases: A Tutorial

  Buchberger, B., Feb 1998

  Research output: Other contribution

• Overview on the Theorema System

  Buchberger, B., Jun 1998

  Research output: Other contribution

• Prinzipien für die Organisation von Technologie-Zentren im ländlichen Raum

  Buchberger, B., Apr 1998

  Research output: Other contribution

• RISC and the Software Park Hagenberg

  Buchberger, B., Jun 1998

  Research output: Other contribution

• RISC and the Software Park Hagenberg

  Buchberger, B., Feb 1998

  Research output: Other contribution

• RISC and the Software Park Hagenberg: Opportunities for Cooperation

  Buchberger, B., Dec 1998

  Research output: Other contribution

• RISC und der Software-Park als Beispiel für das OÖ Technologienetzwerk

  Buchberger, B., Jul 1998

  Research output: Other contribution

• RISC und der Software-Park Hagenberg: Ars Humana

  Buchberger, B., Sept 1998

  Research output: Other contribution

• RISC y el Software Park en Hagenberg

  Translated title of the contribution: RISC and the Software Park HagenbergBuchberger, B., Oct 1998

  Research output: Other contribution

• Symbolic Computation: Ein Überblick

  Buchberger, B., Jun 1998

  Research output: Other contribution

• The Main Theorem and Elementary Applications of Groebner Bases Theory

  Buchberger, B., Jan 1998, 8 p.

  Research output: Other contribution

• Theorema: Automatisches Beweisen für Lehre und Forschung

  Buchberger, B., Nov 1998

  Research output: Other contribution

• Theorema: Computer-Supported Mathematical Proving

  Buchberger, B., Jun 1998

  Research output: Other contribution

• Theorema: Computer Unterstütztes mathematisches Beweisen

  Buchberger, B., Apr 1998

  Research output: Other contribution

• Theorema: Theorem Proving for the Masses Using Mathematica

  Buchberger, B., Jun 1998

  Research output: Other contribution

• The Software Park Hagenberg: A Business Oportunity for US Companies

  Buchberger, B., Jul 1998

  Research output: Other contribution

• The Software Park Hagenberg: A Business Oportunity for US Companies

  Buchberger, B., Jul 1998

  Research output: Other contribution

• The Software Park Hagenberg: A Business Opportunity for US Companies

  Buchberger, B., Jul 1998

  Research output: Other contribution