Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Related Publications
(10)
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema
A Survey of the Theorema Project
An Overview on the Theorema Project
Isabelle/HOL  A Proof Assistant for HigherOrder Logic
Theorema: a short introduction
Subscribe
Academic
Publications
The Theorema project: A progress report
The Theorema project: A progress report,B. Buchberger,C. Dupre,T. Jebelean,F. Kriftner,K. Nakagawa,D. Vasaru,W. Windsteiger
Edit
The Theorema project: A progress report
(
Citations: 76
)
BibTex

RIS

RefWorks
Download
B. Buchberger
,
C. Dupre
,
T. Jebelean
,
F. Kriftner
,
K. Nakagawa
,
D. Vasaru
,
W. Windsteiger
Published in 2000.
Cumulative
Annual
Citation Context
(49)
...There are already several powerful computer systems for developing mathematics with formal verification, including Isabelle [7], Coq [3] and Theorema [
4
]...
Masahiko Sato
.
A framework for checking proofs naturally
...the Theorema project [
8
]), by implementing a CAS inside a theorem prover (e.g...
Laura I. Meikle
,
et al.
Combining Isabelle and QEPCADB in the Prover's Palette
...– Theorem provers inside computer algebra systems: • Analytica [6], • Theorema [
8
], • RedLog [13], • logical extension of Axiom [20]...
Cezary Kaliszyk
,
et al.
Certified Computer Algebra on Top of an Interactive Theorem Prover
...The proof strategy based on the above results is incorporated in Theorema [
3
]...
Fadoua Ghourabi
,
et al.
Logical and algebraic view of Huzita's origami axioms with application...
...proving, solving, and simplifying mathematical formulae relative to mathematical knowledge bases, see [2], [
3
]...
JUDIT ROBU
.
AUTOMATED PROOF OF GEOMETRY THEOREMS INVOLVING ORDER RELATION IN THE F...
Sort by:
Citations
(76)
A framework for checking proofs naturally
(
Citations: 3
)
Masahiko Sato
Journal:
Journal of Intelligent Information Systems  JIIS
, vol. 31, no. 2, pp. 111125, 2008
Combining Isabelle and QEPCADB in the Prover's Palette
Laura I. Meikle
,
Jacques D. Fleuriot
Conference:
Artificial Intelligence and Symbolic Computation  AISC
, pp. 315330, 2008
Certified Computer Algebra on Top of an Interactive Theorem Prover
(
Citations: 8
)
Cezary Kaliszyk
,
Freek Wiedijk
Published in 2007.
Logical and algebraic view of Huzita's origami axioms with applications to computational origami
(
Citations: 4
)
Fadoua Ghourabi
,
Tetsuo Ida
,
Hidekazu Takahashi
,
Mircea Marin
,
Asem Kasem
Conference:
ACM Symposium on Applied Computing  SAC
, pp. 767772, 2007
CreaComp: Experimental Formal Mathematics for the Classroom
(
Citations: 1
)
Gunther Mayrhofer
,
Susanne Saminger
,
Wolfgang Windsteiger
Published in 2007.