Bruno Buchberger

Search results

• 2004

  A Note on Automated Generation of an Algorithm Verification Method

  Buchberger, B., Mar 2004, Univ. of Linz, Austria: SFB, 6 p. (SFB F013 Reports; no. 2004-3).

  Research output: Working paper and reports › Research report

• Mathematical Knowledge Editor: A Research Plan

  Nakagawa, K. & Buchberger, B., 2004, Johannes Kepler University Linz, Austria: SFB, 17 p. (SFB F013 Reports).

  Research output: Working paper and reports › Research report

• 2003

  Algorithm Retrieval: Concept Clarification and Case Study in Theorema

  Buchberger, B., 2003, (SFB F013 Reports; no. 2003-44).

  Research output: Working paper and reports › Research report

• Focus Windows: A New Approach to Presenting Mathematical Proofs (In Automated Proving Systems).

  Buchberger, B., 2003, (SFB F013 Reports; no. 2003-22).

  Research output: Working paper and reports › Research report

• Groebner Rings in Theorema: A Case Study in Functors and Categories

  Buchberger, B., 2003, (SFB F013 Reports; no. 2003-49).

  Research output: Working paper and reports › Research report

• Origami Theorem Proving

  Buchberger, B. & Ida, T., 2003, (SFB F013 Reports; no. 2003-23).

  Research output: Working paper and reports › Research report

• 1998

  KnowledgeWeb - A Design and Feasibility Study

  Buchberger, B., Chakravarty, M., Darlington, J., Guo, Y., Ida, T., Mejuev, I. & Schreiner, W., May 1998.

  Research output: Working paper and reports › Research report

• Theorema: The Current Status

  Buchberger, B., 1998.

  Research output: Working paper and reports › Research report

• The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System

  Buchberger, B. & Windsteiger, W., 1998, Österreich: SFB-Report, 11 p. (SFB F013 Reports; no. 98-7).

  Research output: Working paper and reports › Research report

• Using the Predicate Logic Prover of Theorema for Formal Training in Mathematics

  Buchberger, B., Jebelean, T. & Nakagawa, K., 1998.

  Research output: Working paper and reports › Research report

• 1997

  Lifelong Learning Based Intelligent Robotic Agent: Novel Neural Network Approach

  Buchberger, B., Dreiseitl, S. & Jacak, W., 1997.

  Research output: Working paper and reports › Research report