Searching for authors named Bruno Buchberger – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
The PCS Prover in TH∃OREM ∀
- …The PCS Prover in TH OREM Bruno Buchberger Research Institute for Symbolic Computation Johannes…
- Add To MetaCart
-
Mathematical Knowledge Management in Theorema
- …Mathematical Knowledge Management in Theorema Bruno Buchberger Research Institute for Symbolic…
- Cited by 2 (0 self) – Add To MetaCart
-
Theory Exploration with Theorema
- …Theory Exploration with Theorema Bruno Buchberger Research Institute for Symbolic Computation…
- Cited by 6 (5 self) – Add To MetaCart
-
Symbolic Computation: Computer Algebra and Logic
- …Symbolic Computation: Computer Algebra and Logic Bruno Buchberger Research Institute for Symbolic…
- Cited by 21 (1 self) – Add To MetaCart
-
An Implementation of Gröbner bases in Mathematica
- …An Implementation of Grobner bases in Mathematica Bruno Buchberger March 16, 1995 Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
Algorithm Invention And Verification By Lazy Thinking
- … on Symbolic and Numeric Algorithms for Scientific Computation Bruno BUCHBERGER Abstract. In this paper, we…
- Cited by 8 (4 self) – Add To MetaCart
-
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy
- …Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy Bruno Buchberger…
- Cited by 10 (6 self) – Add To MetaCart
-
Logicographic Symbols: A New Feature in Theorema
- …Logicographic Symbols: A New Feature in Theorema Bruno Buchberger RISC (Research Institute…
- Cited by 4 (1 self) – Add To MetaCart
-
� The Forward Origami Problem
- …Origami Theorem Proving Bruno Buchberger 1 , Tetsuo Ida 2 � 1 Research Institute for Symbolic…
- Add To MetaCart
-
An Environment for Building Mathematical Knowledge Libraries
- …An Environment for Building Mathematical Knowledge Libraries Florina Piroi and Bruno Buchberger…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
