Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th 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, Rafal Kolanski:
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, Florian Rabe:
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, Predrag Janicic:
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, Josef Urban:
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, Russell O'Connor:
Theory Presentation Combinators. 202-215 - Jónathan Heras, María Poza, Julio Rubio:
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, James H. Davenport:
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, Bogdan Matican, Corneliu-Claudiu Prodescu:
MathWebSearch 0.5: Scaling an Open Formula Search Engine. 342-357 - Grant Olney Passmore, Lawrence C. Paulson, Leonardo Mendonça de Moura:
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, Wilmer Ricciotti:
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, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou:
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. 458-462 - Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger:
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
a service of 
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-04-18 20:18 CEST 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:
