More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

12th MKM / Calculemus / DML 2013: Bath, UK

> Home > Conferences and Workshops > MKM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2013
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

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Mahboubi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Mahboubi13
Assia Mahboubi:
The Rooster and the Butterflies. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BradfordDEW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BradfordDEW13
Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson:
Optimising Problem Formulation for Cylindrical Algebraic Decomposition. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Farmer13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Farmer13
William M. Farmer:
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation. 35-50
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AllamigeonGMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AllamigeonGMW13
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: The Templates Method. 51-65
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HerasMRRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HerasMRRS13
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
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KohlhaseMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KohlhaseMR13
Michael Kohlhase, Felix Mance, Florian Rabe:
A Universal Machine for Biform Theory Graphs. 82-97

MKM

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MartinP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MartinP13
Ursula Martin, Alison Pease:
Mathematical Practice, Crowdsourcing, and Social Machines. 98-119
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KaliszykU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KaliszykU13
Cezary Kaliszyk, Josef Urban:
Automated Reasoning Service for HOL Light. 120-135
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/EnglandBDW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/EnglandBDW13
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Understanding Branch Cuts of Expressions. 136-151
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/TankinkKUG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/TankinkKUG13
Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers:
Formal Mathematics on Display: A Wiki for Flyspeck. 152-167
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HuW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HuW13
Rui Hu, Stephen M. Watt:
Determining Points on Handwritten Mathematical Symbols. 168-183
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ObuaAA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ObuaAA13
Steven Obua, Mark Adams, David Aspinall:
Capturing Hiproofs in HOL Light. 184-199
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/0002CKMRWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/0002CKMRWW13
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
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Tonisson13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Tonisson13
Eno Tõnisson:
Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System. 216-229

DML

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Ion13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Ion13
Patrick D. F. Ion:
Mathematics and the World Wide Web. 230-245
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KamaliT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KamaliT13
Shahab Kamali, Frank Wm. Tompa:
Structural Similarity Search for Mathematics Retrieval. 246-262
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/RuzickaSK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/RuzickaSK13
Michal Ruzicka, Petr Sojka, Vlastimil Krejcír:
Towards Machine-Actionable Modules of a Digital Mathematics Library - The Example of DML-CZ. 263-277
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/NghiemKTA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/NghiemKTA13
Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa:
A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions. 278-287
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Miller13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Miller13
Bruce R. Miller:
Three Years of DLMF: Web, Math and Search. 288-295
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Libbrecht13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Libbrecht13
Paul Libbrecht:
Escaping the Trap of Too Precise Topic Queries. 296-309
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/DoP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/DoP13
Chau Do, Eric J. Pauwels:
Using MathML to Represent Units of Measurement for Improved Ontology Alignment. 310-325

Systems and Projects

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/LuthR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/LuthR13
Christoph Lüth, Martin Ring:
A Web Interface for Isabelle: The Next Generation. 326-329
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/0002RK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/0002RK13
Christoph Lange, Colin Rowat, Manfred Kerber:
The ForMaRE Project - Formal Mathematical Reasoning in Economics. 330-334
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/GinevM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GinevM13
Deyan Ginev, Bruce R. Miller:
2012 - A Year of. 335-338
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Rabe13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Rabe13
Florian Rabe:
The MMT API: A Generic MKM System. 339-343
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ChebukovIMPZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ChebukovIMPZ13
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
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AbanadesB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AbanadesB13
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
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HerasK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HerasK13
Jónathan Heras, Ekaterina Komendantskaya:
ML4PG in Computer Algebra Verification. 354-358
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BarrasGHRTWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BarrasGHRTWW13
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
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/QuaresmaSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/QuaresmaSB13
Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue:
The Web Geometry Laboratory Project. 364-368
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BonischBCGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BonischBCGS13
Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber:
swMATH - A New Information Service for Mathematical Software. 369-373
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Prank13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Prank13
Rein Prank:
Software for Evaluating Relevance of Steps in Algebraic Transformations. 374-378
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SchonebergS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SchonebergS13
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.