default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th MKM / Calculemus / DML 2013: Bath, UK
- Jacques Carette
, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger:
Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Lecture Notes in Computer Science 7961, Springer 2013, ISBN 978-3-642-39319-8
Calculemus
- Assia Mahboubi:
The Rooster and the Butterflies. 1-18 - Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson:
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. 19-34 - William M. Farmer:
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation. 35-50 - Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: The Templates Method. 51-65 - Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz:
Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy. 66-81 - Michael Kohlhase, Felix Mance, Florian Rabe:
A Universal Machine for Biform Theory Graphs. 82-97
MKM
- Ursula Martin, Alison Pease:
Mathematical Practice, Crowdsourcing, and Social Machines. 98-119 - Cezary Kaliszyk, Josef Urban:
Automated Reasoning Service for HOL Light. 120-135 - Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Understanding Branch Cuts of Expressions. 136-151 - Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers:
Formal Mathematics on Display: A Wiki for Flyspeck. 152-167 - Rui Hu, Stephen M. Watt:
Determining Points on Handwritten Mathematical Symbols. 168-183 - Steven Obua, Mark Adams, David Aspinall:
Capturing Hiproofs in HOL Light. 184-199 - Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger:
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. 200-215 - Eno Tõnisson:
Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System. 216-229
DML
- Patrick D. F. Ion:
Mathematics and the World Wide Web. 230-245 - Shahab Kamali, Frank Wm. Tompa:
Structural Similarity Search for Mathematics Retrieval. 246-262 - Michal Ruzicka, Petr Sojka, Vlastimil Krejcír:
Towards Machine-Actionable Modules of a Digital Mathematics Library - The Example of DML-CZ. 263-277 - Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa:
A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions. 278-287 - Bruce R. Miller:
Three Years of DLMF: Web, Math and Search. 288-295 - Paul Libbrecht:
Escaping the Trap of Too Precise Topic Queries. 296-309 - Chau Do, Eric J. Pauwels:
Using MathML to Represent Units of Measurement for Improved Ontology Alignment. 310-325
Systems and Projects
- Christoph Lüth, Martin Ring:
A Web Interface for Isabelle: The Next Generation. 326-329 - Christoph Lange, Colin Rowat, Manfred Kerber:
The ForMaRE Project - Formal Mathematical Reasoning in Economics. 330-334 - Deyan Ginev, Bruce R. Miller:
2012 - A Year of. 335-338 - Florian Rabe:
The MMT API: A Generic MKM System. 339-343 - Dmitry E. Chebukov, Alexander D. Izaak, Olga G. Misyurina, Yuri A. Pupyrev, Alexey B. Zhizhchenko:
Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today. 344-348 - Miguel A. Abánades, Francisco Botana:
A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes. 349-353 - Jónathan Heras, Ekaterina Komendantskaya:
ML4PG in Computer Algebra Verification. 354-358 - Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff:
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. 359-363 - Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue:
The Web Geometry Laboratory Project. 364-368 - Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber:
swMATH - A New Information Service for Mathematical Software. 369-373 - Rein Prank:
Software for Evaluating Relevance of Steps in Algebraic Transformations. 374-378 - Ulf Schöneberg, Wolfram Sperber:
The DeLiVerMATH Project - Text Analysis in Mathematics. 379-382
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 2025-11-28 23:53 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:
