دانلود کتاب Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

فهرست مطالب :

Front Matter....Pages -
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar....Pages 1-16
Proof, Message and Certificate....Pages 17-31
Challenges and Experiences in Managing Large-Scale Proofs....Pages 32-48
Semantic Alliance : A Framework for Semantic Allies....Pages 49-64
Extending MKM Formats at the Statement Level....Pages 65-80
A Streaming Digital Ink Framework for Multi-party Collaboration....Pages 81-95
Cost-Effective Integration of MKM Semantic Services into Editing Environments....Pages 96-110
Understanding the Learners’ Actions when Using Mathematics Learning Tools....Pages 111-126
Towards Understanding Triangle Construction Problems....Pages 127-142
A Query Language for Formal Mathematical Libraries....Pages 143-158
Abramowitz and Stegun – A Resource for Mathematical Document Analysis....Pages 159-168
Point-and-Write – Documenting Formal Mathematics by Reference....Pages 169-185
An Essence of SSReflect....Pages 186-201
Theory Presentation Combinators....Pages 202-215
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging....Pages 216-230
Towards the Formal Specification and Verification of Maple Programs....Pages 231-247
Formalizing Frankl’s Conjecture: FC-Families....Pages 248-263
CDCL-Based Abstract State Transition System for Coherent Logic....Pages 264-279
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases....Pages 280-294
A System for Axiomatic Programming....Pages 295-309
Reasoning on Schemata of Formulæ....Pages 310-325
Management of Change in Declarative Languages....Pages 326-341
MathWebSearch 0.5: Scaling an Open Formula Search Engine....Pages 342-357
Real Algebraic Strategies for MetiTarski Proofs....Pages 358-370
A Combinator Language for Theorem Discovery....Pages 371-385
DynGenPar – A Dynamic Generalized Parser for Common Mathematical Language....Pages 386-401
Writing on Clouds....Pages 402-416
A Web Interface for Matita....Pages 417-421
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text....Pages 422-426
New Developments in Parsing Mizar ....Pages 427-431
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence....Pages 432-437
Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)....Pages 438-442
On Formal Specification of Maple Programs....Pages 443-447
The Planetary Project: Towards eMath3.0....Pages 448-452
Tentative Experiments with Ellipsis in Mizar....Pages 453-457
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset....Pages 458-462
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization....Pages 463-467
Isabelle/jEdit – A Prover IDE within the PIDE Framework....Pages 468-471
Back Matter....Pages -