Retrieval and Structuring of . . .

Retrieval and Structuring of . . . (2009)

Cached

Download Links

by Camelia Rosenkranz

BibTeX

@MISC{Rosenkranz09retrievaland,
    author = {Camelia Rosenkranz},
    title = {Retrieval and Structuring of . . . },
    year = {2009}
}

Bookmark

OpenURL

Abstract

Citations

340	Interactive theorem proving and program development. Coq’Art: The calculus of inductive constructions - Bertot, Castéran - 2004
191	The Mathematica Book - Wolfram - 1996
163	The Lambda Calculus - Barendregt - 1981
142	Nominal logic, a first order theory of names and binding - PITTS
93	OMDoc: An Open Markup Format for Mathematical Documents (Version 1.2). Number 4180 - Kohlhase
59	Theorema: Towards Computer-Aided Mathematical Theory Exploration - Buchberger, Craciun, et al.
54	The mathematical vernacular, a language for mathematics with typed sets - Bruijn - 1987
52	HOL Light: A tutorial introduction - Harrison - 1996
45	An Overview on the Theorema project - Buchberger, Jebelean, et al.
31	Algorithm Synthesis by Lazy Thinking: Examples and Implementation - Buchberger, Craciun
29	S.: User interaction with the Matita proof assistant - Asperti, Coen, et al. - 2007
21	The nuprl proof development system (version 4.2) reference manual and user’s guide. Unpublished manuscript - Jackson - 1996
21	System Description: MBASE, an Open Mathematical Knowledge Base - Franke, Kohlhase - 2000
19	Information Retrieval in MML - Bancerek
19	Constructive Real Analysis: a Type-Theoretical Formalization and Applications. Faculty of Science, Mathematics and Computer - Cruz-Filipe
19	A Semantic Wiki for Mathematical Knowledge Management”. In: Emerging Technologies for Semantic Work Environments - Lange, Kohlhase
18	SNoW User's Guide - Carlson, Cumby, et al.
16	Algorithm Supported Mathematical Theory Exploration: A Personal View and Strategy - Buchberger
15	A content based mathematical search engine: Whelp - Asperti, Guidi, et al. - 2006
14	The PCS Prover in Theorema - Buchberger
14	A search engine for mathematical formulae - Kohlhase, Sucan - 2006
12	Integriertes automatisches und interaktives Beweisen: die Kalkülebene - Giese - 1998
9	Theory Exploration with Theorema - Buchberger - 2000
9	Making Conjectures about Maple Functions - Colton - 2002
9	An Environment for Building Mathematical Knowledge Libraries - Piroi, Buchberger
8	HR – A System for Machine Discovery in Finite Algebras - Bundy, Colton, et al. - 1998
8	Knowledge Representation and Management - Melis, Büdenbender, et al. - 2003
8	Tools for Using Automated Provers in Mathematical Theory Exploration - Piroi - 2004
7	Efficient Retrieval of Mathematical Statements - Asperti, Selmi
7	Formal proof—the four-color theorem - Gonthier
7	Equational prover of Theorema,” in - Kutsia - 2003
7	Theorem proving with sequence variables and flexible arity symbols - Kutsia - 2002
6	Algorithm Retrieval: Concept Clarification and Case Study in Theorema - Buchberger - 2003
6	Querying Distributed Digital Libraries of Mathematics - Guidi, Coen, et al.
6	MATHsAiD: a mathematical theorem discovery tool - McCasland, Bundy - 2006
6	MPTP — motivation, implementation, first experiments - Urban - 2004
5	The Design and Analysis of Computer Algorithms,Addison–Wesley - Aho, Hopcroft, et al. - 1975
5	2006, ‘Crafting a Proof Assistant - Asperti, Coen, et al.
5	Methods for access and retrieval of mathematical content in ActiveMath - Libbrecht, Melis - 2006
5	Ascertaining Mathematical Theorems - McCasland, Bundy, et al. - 2006
5	Information Search And Retrieval of Mathematics Contents: Issues and Methods”, The proceeding of the - Youssef - 2005
4	Groebner bases in Theorema using functors - Buchberger - 2008
4	Towards the Automated Synthesis of a Groebner Bases Algorithm, RACSAM—Revista de la Real Academia de Ciencias - Buchberger - 2004
4	Gröbner rings and modules - Buchberger - 2001
4	Managing Automatically Formed Mathematical Theories - Colton, Torres, et al. - 2006
4	MKM: A new Interdisciplinary Field of Research - Farmer - 2004
4	A Proof-Theoretic Approach to Mathematical Knowledge Management - Aboul-Hosn - 2007
4	Verification Environment in Theorema - Kovacs, Popov, et al. - 2005
4	Interactive Concept Mapping in ActiveMath (iCMap - Melis, Kärger, et al. - 2005
4	c "Technical Aspects of the Digital - Youssef, Bruce - 2003