default search action
11th AISC / 11th MKM / 19th Calculemus 2012: Bremen, Germany
- Johan Jeuring, John A. Campbell, Jacques Carette
, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge:
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. Lecture Notes in Computer Science 7362, Springer 2012, ISBN 978-3-642-31373-8
Mathematical Knowledge Management 2012
- Jesse Alama, Lionel Mamane, Josef Urban:
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. 1-16 - Andrea Asperti
Proof, Message and Certificate. 17-31 - Timothy Bourke, Matthias Daum, Gerwin Klein
Challenges and Experiences in Managing Large-Scale Proofs. 32-48 - Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
Semantic Alliance: A Framework for Semantic Allies. 49-64 - Feryal Fulya Horozal, Michael Kohlhase
Extending MKM Formats at the Statement Level. 65-80 - Rui Hu, Vadim Mazalov, Stephen M. Watt:
A Streaming Digital Ink Framework for Multi-party Collaboration. 81-95 - Constantin Jucovschi:
Cost-Effective Integration of MKM Semantic Services into Editing Environments. 96-110 - Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin:
Understanding the Learners' Actions when Using Mathematics Learning Tools. 111-126 - Vesna Marinkovic
Towards Understanding Triangle Construction Problems. 127-142 - Florian Rabe
A Query Language for Formal Mathematical Libraries. 143-158 - Alan P. Sexton:
Abramowitz and Stegun - A Resource for Mathematical Document Analysis. 159-168 - Carst Tankink, Christoph Lange
Point-and-Write - Documenting Formal Mathematics by Reference. 169-185 - Iain Whiteside, David Aspinall, Gudmund Grov:
An Essence of SSReflect. 186-201
Calculemus 2012
- Jacques Carette
Theory Presentation Combinators. 202-215 - Jónathan Heras
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. 216-230 - Muhammad Taimoor Khan, Wolfgang Schreiner
Towards the Formal Specification and Verification of Maple Programs. 231-247 - Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic:
Formalizing Frankl's Conjecture: FC-Families. 248-263 - Mladen Nikolic, Predrag Janicic
CDCL-Based Abstract State Transition System for Coherent Logic. 264-279 - David J. Wilson, Russell J. Bradford
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases. 280-294
Artificial Intelligence and Symbolic Computation 2012
- Gabriel Dos Reis:
A System for Axiomatic Programming. 295-309 - Mnacho Echenim, Nicolas Peltier:
Reasoning on Schemata of Formulæ. 310-325 - Mihnea Iancu, Florian Rabe
Management of Change in Declarative Languages. 326-341 - Michael Kohlhase
MathWebSearch 0.5: Scaling an Open Formula Search Engine. 342-357 - Grant Olney Passmore, Lawrence C. Paulson
Real Algebraic Strategies for MetiTarski Proofs. 358-370 - Phil Scott, Jacques D. Fleuriot
A Combinator Language for Theorem Discovery. 371-385
Digital Mathematics Libraries 2012
- Kevin Kofler, Arnold Neumaier
DynGenPar - A Dynamic Generalized Parser for Common Mathematical Language. 386-401 - Vadim Mazalov, Stephen M. Watt:
Writing on Clouds. 402-416
Systems and Projects 2012
- Andrea Asperti
A Web Interface for Matita. 417-421 - Josef B. Baker, Alan P. Sexton, Volker Sorge:
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. 422-426 - Czeslaw Bylinski, Jesse Alama:
New Developments in Parsing Mizar. 427-431 - Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang:
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). 432-437 - Stefan Hetzl
Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP). 438-442 - Muhammad Taimoor Khan, Wolfgang Schreiner
On Formal Specification of Maple Programs. 443-447 - Michael Kohlhase
The Planetary Project: Towards eMath3.0. 448-452 - Artur Kornilowicz
Tentative Experiments with Ellipsis in Mizar. 453-457 - Christoph Lange
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. 458-462 - Christoph Lange
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. 463-467 - Makarius Wenzel:
Isabelle/jEdit - A Prover IDE within the PIDE Framework. 468-471
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: