Searching for "Mathematical Theory Exploration." – sorted by Relevance.
-
Formal mathematical theory exploration in theorema (4 lectures
- Formal Mathematical Theory Exploration in Theorema Bruno Buchberger Johannes Kepler Universität
- Cited by 1 (0 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
-
Theory Exploration with Theorema
- Mathematical theory exploration can be explained in terms of the notion of "exploration situation". In our view
- Cited by 6 (5 self) – Add To MetaCart
-
Predicate Logic with Sequence Variables and Sequence Function Symbols
- for the top-down systematic theory exploration paradigm. 1 Introduction The goal of future mathematical
- Cited by 4 (4 self) – Add To MetaCart
-
User interface features in Theorema: A summary
- -support of all phases of the mathematical theory exploration cycle and at the structured storage of concepts
- Cited by 1 (0 self) – Add To MetaCart
-
Algorithm Synthesis by Lazy Thinking: Using Problem Schemes
- want to make a contribution to a particular subproblem of formal mathematical theory exploration (see
- Cited by 3 (0 self) – Add To MetaCart
-
An Environment for Building Mathematical Knowledge Libraries
- , logical manipulation of mathematical knowledge (i.e. mathematical theory exploration) does not yet get
- Cited by 5 (2 self) – Add To MetaCart
-
The CALCULEMUS Research Training Network: A Short Overview
- , it is the authors opinion that mathematical assistant systems, in particular those for theory exploration, generally
- Cited by 4 (2 self) – Add To MetaCart
-
Algorithm Invention And Verification By Lazy Thinking
- study algorithm invention and verification as a specific variant of systematic theory exploration
- Cited by 8 (4 self) – Add To MetaCart
-
The theorema environment for interactive proof development. Contributed talk at
- to the entire process of mathematical theory exploration. By default, Theorema tries to solve given reasoning
- Cited by 1 (0 self) – Add To MetaCart

