Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
34
views
7
references
Top references
cited by
13
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,274
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Towards Mechanized Mathematical Assistants
Biform Theories in Chiron
other
Author(s):
William M. Farmer
Publication date
(Print):
2007
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
7
Record
: found
Abstract
: not found
Article
: not found
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Kurt Gödel
(1931)
0
comments
Cited
237
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Theorema: Towards computer-aided mathematical theory exploration
Florina Piroi
,
Koji Nakagawa
,
Temur Kutsia
…
(2006)
0
comments
Cited
16
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Understanding expression simplification
Jacques Carette
(2004)
0
comments
Cited
7
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Pages
: 66-79
DOI:
10.1007/978-3-540-73086-6_6
SO-VID:
bdb0d838-d8d7-4469-b1d5-c68b011bdbe8
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 221
Cooperative Repositories for Formal Proofs
pp. 280
Restoring Natural Language as a Computerised Mathematics Input Method
pp. 66
Biform Theories in Chiron
pp. 161
A Framework for Interactive Proof
pp. 342
An Approach to Mathematical Search Through Query Formulation and Data Normalization
Similar content
1,274
Total synthesis of proposed structure of xylogiblactone B by chiron approach
Authors:
Palakodety Radha Krishna
,
Ramesh Kunde
,
Rajesh Nomula
…
Chiron ACS-180 CKMB-II cut-off values
Authors:
G. Planet
Evaluation of the Chiron ACS: 180 automated immunoassay system for myoglobin and cardiac troponin I determination.
Authors:
M PANTEGHINI
,
F. Pagani
,
G Bonetti
See all similar
Cited by
13
High-Level Theories
Authors:
Jacques Carette
,
William M. Farmer
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation
Authors:
William M. Farmer
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study
Authors:
Jacques Carette
,
William M. Farmer
See all cited by