MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Mathematical Theory Exploration." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Formal mathematical theory exploration in theorema (4 lectures
by Bruno Buchberger, Johannes Kepler Universität Linz — 2005 — Invited talk at Summer School on Theoretical Computer Science
…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
by Bruno Buchberger — 2004
…Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy Bruno Buchberger…
Cited by 10 (6 self) – Add To MetaCart

Theory Exploration with Theorema
by Bruno Buchberger — 2000
… 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
by Temur Kutsia, Bruno Buchberger — 2004 — Proc. 3rd Intl. Conf. on Mathematical Knowledge Management, MKM’04, volume 3119 of LNCS
… 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
by Florina Piroi — 2004 — In Mathematical User-Interfaces Workshop
…-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
by Bruno Buchberger, Adrian Craciun — 2004 — In [66
… 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
by Florina Piroi, Bruno Buchberger — 2004 — Proc. of the 3rd Int. Conference on Mathematical Knowledge Management, MKM’04
…, 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
by Christoph Benzmüller — 2003 — In Proceedings of the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2003
…, 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
by Bruno BUCHBERGER — 2003
… 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
by Florina Piroi, Temur Kutsia — 2005 — 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR’05
… to the entire process of mathematical theory exploration. By default, Theorema tries to solve given reasoning…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB