Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
13
views
11
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,746
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Intelligent Computer Mathematics
Proof Assistant Decision Procedures for Formalizing Origami
other
Author(s):
Cezary Kaliszyk
,
Tetsuo Ida
Publication date
(Print):
2011
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
Thermal Imaging in Social Decision Making
Most cited references
11
Record
: found
Abstract
: not found
Book Chapter
: not found
HOL Light: A tutorial introduction
John Harrison
(1996)
0
comments
Cited
53
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Proof-Producing Decision Procedure for Real Arithmetic
Sean McLaughlin
,
John Harrison
(2005)
0
comments
Cited
19
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A Graphical User Interface for Formal Proofs in Geometry
Julien Narboux
(2007)
0
comments
Cited
9
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2011
Pages
: 45-57
DOI:
10.1007/978-3-642-22673-1_4
SO-VID:
bffd0042-8fe7-4465-8ea1-be269b89c662
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Enumeration of AG-Groupoids
pp. 15
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework
pp. 30
Incidence Simplicial Matrices Formalized in Coq/SSReflect
pp. 45
Proof Assistant Decision Procedures for Formalizing Origami
pp. 58
Using Theorema in the Formalization of Theoretical Economics
pp. 74
View of Computer Algebra Data from Coq
pp. 90
Computer Certified Efficient Exact Reals in Coq
pp. 107
A Foundational View on Integration Problems
pp. 123
Efficient Formal Verification of Bounds of Linear Programs
pp. 133
Large Formal Wikis: Issues and Solutions
pp. 149
Licensing the Mizar Mathematical Library
pp. 164
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
pp. 180
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
pp. 196
Interleaving Strategies
pp. 212
Combining Source, Content, Presentation, Narration, and Relational Representation
pp. 228
Indexing and Searching Mathematics in Digital Libraries
pp. 244
Isabelle as Document-Oriented Proof Assistant
pp. 260
Towards Formal Proof Script Refactoring
pp. 276
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
pp. 278
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita
pp. 281
Project EuDML – A First Year Demonstration
pp. 285
A Symbolic Companion for Interactive Geometric Systems
pp. 287
MathScheme: Project Description
pp. 289
Project Abstract: Logic Atlas and Integrator (LATIN)
pp. 292
The LaTeXML Daemon: Editable Math on the Collaborative Web
pp. 295
A System for Computing and Reasoning in Algebraic Topology
pp. 298
Learning2Reason
pp. 301
A Formalization of the C99 Standard in HOL, Isabelle and Coq
pp. 304
Krextor - An Extensible Framework for Contributing Content Math to the Web of Data
pp. 307
System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org
Similar content
2,746
Compliant Polymer Origami Bellows in Cryogenics
Authors:
Kjell Westra
,
Francis J Dunne
,
Stasia Kulsa
…
Origami-Inspired Integrated Planar-Spherical Overconstrained Mechanisms
Authors:
Guowu Wei
,
Jian S. Dai
Reconfigurable helical antenna based on an origami structure for wireless communication system
Authors:
See all similar