Obiettivo Systematic mathematical theory exploration is at the heart of the emerging field of mathematical knowledge management. Bruno Buchberger has recently proposed the 4 threads Theory Exploration Model. The 4 threads are: - the ideas thread (consisting of conc entrated mathematical knowledge in the form of definition, theorem, algorithm, problem schemes); - the theory thread (definitions, theorems, problems, algorithms); - the reasoning objects thread (proof objects, solution objects, simplification objects); - the reasoners thread (provers, solvers, simplifiers and their correctness).The aim of this project is to apply this model in two important case studies, in the Theorema system: systematic exploration of the theory of tuples, and systematic exploration of t he theory of Groebner bases. This will result in the build-up of the respective theories and, as a side-effect, the implementation of exploration tools in the Theorema system. Campo scientifico natural sciencesmathematics Parole chiave Theorema algorithm synthesis mathematical knowledge management systematic theory exploration Programma(i) FP6-MOBILITY - Human resources and Mobility in the specific programme for research, technological development and demonstration "Structuring the European Research Area" under the Sixth Framework Programme 2002-2006 Argomento(i) MOBILITY-4.1 - Marie Curie European Reintegration Grants (ERG) Invito a presentare proposte FP6-2002-MOBILITY-11 Vedi altri progetti per questo bando Meccanismo di finanziamento EIF - Marie Curie actions-Intra-European Fellowships Coordinatore INSTITUTE E-AUSTRIA TIMISOARA Contributo UE Nessun dato Indirizzo B-dul Cornel Coposu 4 TIMISOARA Romania Mostra sulla mappa Costo totale Nessun dato