You have Guest access.
Log In
Jonathan M. Borwein and William M. Farmer
Front matter
1
The Omega Number: Irreducible Complexity in Pure Math
2-16
Roles of Math Search in Mathematics
17-30
Structured Induction Proofs in Isabelle/Isar
31-43
Interpretation of Locales in Isabelle: Theories and Proof Contexts
44-53
A Dynamic Poincaré Principle
54-66
A Proof-Theoretic Approach to Tactics
67-81
A Formal Correspondence Between OMDoc with Alternative Proofs and the [`(l)]m[(m)\tilde]{\overline{\lambda}\mu\tilde{\mu}}-Calculus
82-93
Proof Transformation by CERES
94-109
Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
110-123
Verifying and Invalidating Textbook Proofs Using Scunak
124-138
Capturing Abstract Matrices from Paper
139-151
Towards a Parser for Mathematical Formula Recognition
152-164
Stochastic Modelling of Scientific Terms Distribution in Publications
165-178
Capturing the Content of Physics: Systems, Observables, and Experiments
179-193
Communities of Practice in MKM: An Extensional Model
194-207
From Notation to Semantics: There and Back Again
208-221
Managing Informal Mathematical Knowledge: Techniques from Informal Logic
222-236
From Untyped to Polymorphically Typed Objects in Mathematical Web Services
237-250
Managing Automatically Formed Mathematical Theories
251-265
Authoring LeActiveMath Calculus Content
266-279
Information Retrieval and Rendering with MML Query
280-294
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info