Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mkm/mkm2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/mkm/0002CKMRWW13,
author = {Christoph Lange and
Marco B. Caminati and
Manfred Kerber and
Till Mossakowski and
Colin Rowat and
Makarius Wenzel and
Wolfgang Windsteiger},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {A Qualitative Comparison of the Suitability of Four Theorem Provers
for Basic Auction Theory},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {200--215},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_13},
doi = {10.1007/978-3-642-39320-4\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/0002CKMRWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/0002RK13,
author = {Christoph Lange and
Colin Rowat and
Manfred Kerber},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {The ForMaRE Project - Formal Mathematical Reasoning in Economics},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {330--334},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_23},
doi = {10.1007/978-3-642-39320-4\_23},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/0002RK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AbanadesB13,
author = {Miguel A. Ab{\'{a}}nades and
Francisco Botana},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {A Dynamic Symbolic Geometry Environment Based on the Gr{\"{o}}bnerCover
Algorithm for the Computation of Geometric Loci and Envelopes},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {349--353},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_27},
doi = {10.1007/978-3-642-39320-4\_27},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AbanadesB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AllamigeonGMW13,
author = {Xavier Allamigeon and
St{\'{e}}phane Gaubert and
Victor Magron and
Benjamin Werner},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Certification of Bounds of Non-linear Functions: The Templates Method},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {51--65},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_4},
doi = {10.1007/978-3-642-39320-4\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AllamigeonGMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BarrasGHRTWW13,
author = {Bruno Barras and
Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca and
Hugo Herbelin and
Yann R{\'{e}}gis{-}Gianas and
Enrico Tassi and
Makarius Wenzel and
Burkhart Wolff},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving
Systems},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {359--363},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_29},
doi = {10.1007/978-3-642-39320-4\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BarrasGHRTWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BonischBCGS13,
author = {Sebastian B{\"{o}}nisch and
Michael Brickenstein and
Hagen Chrapary and
Gert{-}Martin Greuel and
Wolfram Sperber},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {swMATH - {A} New Information Service for Mathematical Software},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {369--373},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_31},
doi = {10.1007/978-3-642-39320-4\_31},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BonischBCGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BradfordDEW13,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
David J. Wilson},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Optimising Problem Formulation for Cylindrical Algebraic Decomposition},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {19--34},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_2},
doi = {10.1007/978-3-642-39320-4\_2},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/BradfordDEW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ChebukovIMPZ13,
author = {Dmitry E. Chebukov and
Alexander D. Izaak and
Olga G. Misyurina and
Yuri A. Pupyrev and
Alexey B. Zhizhchenko},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge
from the {XIX} Century to Today},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {344--348},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_26},
doi = {10.1007/978-3-642-39320-4\_26},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ChebukovIMPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DoP13,
author = {Chau Do and
Eric J. Pauwels},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Using MathML to Represent Units of Measurement for Improved Ontology
Alignment},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {310--325},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_21},
doi = {10.1007/978-3-642-39320-4\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/DoP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/EnglandBDW13,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport and
David J. Wilson},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Understanding Branch Cuts of Expressions},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {136--151},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_9},
doi = {10.1007/978-3-642-39320-4\_9},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/EnglandBDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Farmer13,
author = {William M. Farmer},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {The Formalization of Syntax-Based Mathematical Algorithms Using Quotation
and Evaluation},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {35--50},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_3},
doi = {10.1007/978-3-642-39320-4\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Farmer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GinevM13,
author = {Deyan Ginev and
Bruce R. Miller},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {2012 - {A} Year of},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {335--338},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_24},
doi = {10.1007/978-3-642-39320-4\_24},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/GinevM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HerasK13,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {{ML4PG} in Computer Algebra Verification},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {354--358},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_28},
doi = {10.1007/978-3-642-39320-4\_28},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HerasK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HerasMRRS13,
author = {J{\'{o}}nathan Heras and
Gadea Mata and
Ana Romero and
Julio Rubio and
Rub{\'{e}}n S{\'{a}}enz},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Verifying a Plaftorm for Digital Imaging: {A} Multi-tool Strategy},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {66--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_5},
doi = {10.1007/978-3-642-39320-4\_5},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HerasMRRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HuW13,
author = {Rui Hu and
Stephen M. Watt},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Determining Points on Handwritten Mathematical Symbols},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {168--183},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_11},
doi = {10.1007/978-3-642-39320-4\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HuW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Ion13,
author = {Patrick D. F. Ion},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Mathematics and the World Wide Web},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {230--245},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_15},
doi = {10.1007/978-3-642-39320-4\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Ion13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KaliszykU13,
author = {Cezary Kaliszyk and
Josef Urban},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Automated Reasoning Service for {HOL} Light},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {120--135},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_8},
doi = {10.1007/978-3-642-39320-4\_8},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KaliszykU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KamaliT13,
author = {Shahab Kamali and
Frank Wm. Tompa},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Structural Similarity Search for Mathematics Retrieval},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {246--262},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_16},
doi = {10.1007/978-3-642-39320-4\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KamaliT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseMR13,
author = {Michael Kohlhase and
Felix Mance and
Florian Rabe},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {A Universal Machine for Biform Theory Graphs},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {82--97},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_6},
doi = {10.1007/978-3-642-39320-4\_6},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Libbrecht13,
author = {Paul Libbrecht},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Escaping the Trap of Too Precise Topic Queries},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {296--309},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_20},
doi = {10.1007/978-3-642-39320-4\_20},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Libbrecht13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/LuthR13,
author = {Christoph L{\"{u}}th and
Martin Ring},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {A Web Interface for Isabelle: The Next Generation},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {326--329},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_22},
doi = {10.1007/978-3-642-39320-4\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/LuthR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Mahboubi13,
author = {Assia Mahboubi},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {The Rooster and the Butterflies},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {1--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_1},
doi = {10.1007/978-3-642-39320-4\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Mahboubi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/MartinP13,
author = {Ursula Martin and
Alison Pease},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Mathematical Practice, Crowdsourcing, and Social Machines},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {98--119},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_7},
doi = {10.1007/978-3-642-39320-4\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/MartinP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Miller13,
author = {Bruce R. Miller},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Three Years of {DLMF:} Web, Math and Search},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {288--295},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_19},
doi = {10.1007/978-3-642-39320-4\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Miller13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/NghiemKTA13,
author = {Minh{-}Quoc Nghiem and
Giovanni Yoko Kristianto and
Goran Topic and
Akiko Aizawa},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {278--287},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_18},
doi = {10.1007/978-3-642-39320-4\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/NghiemKTA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ObuaAA13,
author = {Steven Obua and
Mark Adams and
David Aspinall},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Capturing Hiproofs in {HOL} Light},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {184--199},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_12},
doi = {10.1007/978-3-642-39320-4\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ObuaAA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Prank13,
author = {Rein Prank},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Software for Evaluating Relevance of Steps in Algebraic Transformations},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {374--378},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_32},
doi = {10.1007/978-3-642-39320-4\_32},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Prank13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/QuaresmaSB13,
author = {Pedro Quaresma and
Vanda Santos and
Seifeddine Bouallegue},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {The Web Geometry Laboratory Project},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {364--368},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_30},
doi = {10.1007/978-3-642-39320-4\_30},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/QuaresmaSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Rabe13,
author = {Florian Rabe},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {The {MMT} {API:} {A} Generic {MKM} System},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {339--343},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_25},
doi = {10.1007/978-3-642-39320-4\_25},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Rabe13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/RuzickaSK13,
author = {Michal Ruzicka and
Petr Sojka and
Vlastimil Krejc{\'{\i}}r},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Towards Machine-Actionable Modules of a Digital Mathematics Library
- The Example of {DML-CZ}},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {263--277},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_17},
doi = {10.1007/978-3-642-39320-4\_17},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/RuzickaSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SchonebergS13,
author = {Ulf Sch{\"{o}}neberg and
Wolfram Sperber},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {The DeLiVerMATH Project - Text Analysis in Mathematics},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {379--382},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_33},
doi = {10.1007/978-3-642-39320-4\_33},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/SchonebergS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/TankinkKUG13,
author = {Carst Tankink and
Cezary Kaliszyk and
Josef Urban and
Herman Geuvers},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Formal Mathematics on Display: {A} Wiki for Flyspeck},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {152--167},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_10},
doi = {10.1007/978-3-642-39320-4\_10},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/TankinkKUG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Tonisson13,
author = {Eno T{\~{o}}nisson},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Students' Comparison of Their Trigonometric Answers with the Answers
of a Computer Algebra System},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {216--229},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_14},
doi = {10.1007/978-3-642-39320-4\_14},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Tonisson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2013,
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4},
doi = {10.1007/978-3-642-39320-4},
isbn = {978-3-642-39319-8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-04-25 10:06 CEST from data curated 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:
