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/cicm2015.bht:"
download as .bib file
@inproceedings{DBLP:conf/mkm/AhmedH15,
author = {Waqar Ahmad and
Osman Hasan},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Towards Formal Fault Tree Analysis Using Theorem Proving},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {39--54},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_3},
doi = {10.1007/978-3-319-20615-8\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AhmedH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierH15,
author = {Serge Autexier and
Dieter Hutter},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Structure Formation in Large Theories},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {155--170},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_10},
doi = {10.1007/978-3-319-20615-8\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AutexierH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BancerekBGKMNPU15,
author = {Grzegorz Bancerek and
Czeslaw Bylinski and
Adam Grabowski and
Artur Kornilowicz and
Roman Matuszewski and
Adam Naumowicz and
Karol Pak and
Josef Urban},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Mizar: State-of-the-art and Beyond},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {261--279},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_17},
doi = {10.1007/978-3-319-20615-8\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/BancerekBGKMNPU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BlanchetteHMN15,
author = {Jasmin Christian Blanchette and
Max W. Haslbeck and
Daniel Matichuk and
Tobias Nipkow},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Mining the Archive of Formal Proofs},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {3--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_1},
doi = {10.1007/978-3-319-20615-8\_1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BlanchetteHMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ClaessenJRS15,
author = {Koen Claessen and
Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {{TIP:} Tons of Inductive Problems},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {333--337},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_23},
doi = {10.1007/978-3-319-20615-8\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ClaessenJRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CohlSMSZMD15,
author = {Howard S. Cohl and
Moritz Schubotz and
Marjorie A. McClain and
Bonita V. Saunders and
Cherry Y. Zou and
Azeem S. Mohammed and
Alex A. Danoff},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Growing the Digital Repository of Mathematical Formulae with Generic
Sources},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {280--287},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_18},
doi = {10.1007/978-3-319-20615-8\_18},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/CohlSMSZMD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Cruz-FilipeS15,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated
Proof},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {55--70},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_4},
doi = {10.1007/978-3-319-20615-8\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Cruz-FilipeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GuidiC15,
author = {Ferruccio Guidi and
Claudio Sacerdoti Coen},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {A Survey on Retrieval of Mathematical Knowledge},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {296--315},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_20},
doi = {10.1007/978-3-319-20615-8\_20},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/GuidiC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HorozalR15,
author = {Feryal Fulya Horozal and
Florian Rabe},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Formal Logic Definitions for Interchange Languages},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {171--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_11},
doi = {10.1007/978-3-319-20615-8\_11},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HorozalR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/IancuK15,
author = {Mihnea Iancu and
Michael Kohlhase},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {A Flexiformal Model of Knowledge Dissemination and Aggregation in
Mathematics},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {137--152},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_9},
doi = {10.1007/978-3-319-20615-8\_9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/IancuK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/IancuK15a,
author = {Mihnea Iancu and
Michael Kohlhase},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Math Literate Knowledge Management via Induced Material},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {187--202},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_12},
doi = {10.1007/978-3-319-20615-8\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/IancuK15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KaliszykUSADT15,
author = {Cezary Kaliszyk and
Josef Urban and
Umair Siddique and
Sanaz Khan Afshar and
Cvetan Dunchev and
Sofi{\`{e}}ne Tahar},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Formalizing Physics: Automation, Presentation and Foundation Issues},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {288--295},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_19},
doi = {10.1007/978-3-319-20615-8\_19},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KaliszykUSADT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KotelnikovKV15,
author = {Evgenii Kotelnikov and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {A First Class Boolean Sort in First-Order Theorem Proving and {TPTP}},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {71--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_5},
doi = {10.1007/978-3-319-20615-8\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KotelnikovKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Miller15,
author = {Bruce R. Miller},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Strategies for Parallel Markup},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {203--210},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_13},
doi = {10.1007/978-3-319-20615-8\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Miller15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Moore15,
author = {Ross Moore},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Semantic Enrichment of Mathematics via 'tooltips'},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {338--342},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_24},
doi = {10.1007/978-3-319-20615-8\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Moore15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/NakashoS15,
author = {Kazuhisa Nakasho and
Yasunari Shidama},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Documentation Generator Focusing on Symbols for the HTML-ized Mizar
Library},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {343--347},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_25},
doi = {10.1007/978-3-319-20615-8\_25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/NakashoS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Naumowicz15,
author = {Adam Naumowicz},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Tools for {MML} Environment Analysis},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {348--352},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_26},
doi = {10.1007/978-3-319-20615-8\_26},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Naumowicz15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ObuaFSA15,
author = {Steven Obua and
Jacques D. Fleuriot and
Phil Scott and
David Aspinall},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Type Inference for {ZFH}},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {87--101},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_6},
doi = {10.1007/978-3-319-20615-8\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ObuaFSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Pak15,
author = {Karol Pak},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Readable Formalization of Euler's Partition Theorem in Mizar},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {211--226},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_14},
doi = {10.1007/978-3-319-20615-8\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Pak15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Rabe15,
author = {Florian Rabe},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Generic Literals},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {102--117},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_7},
doi = {10.1007/978-3-319-20615-8\_7},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Rabe15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/RaggiBGP15,
author = {Daniel Raggi and
Alan Bundy and
Gudmund Grov and
Alison Pease},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Automating Change of Representation for Proofs in Discrete Mathematics},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {227--242},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_15},
doi = {10.1007/978-3-319-20615-8\_15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/RaggiBGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SeddikiDKT15,
author = {Ons Seddiki and
Cvetan Dunchev and
Sanaz Khan Afshar and
Sofi{\`{e}}ne Tahar},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Enabling Symbolic and Numerical Computations in {HOL} Light},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {353--358},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_27},
doi = {10.1007/978-3-319-20615-8\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/SeddikiDKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SiddiqueHT15,
author = {Umair Siddique and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Towards the Formalization of Fractional Calculus in Higher-Order Logic},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {316--324},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_21},
doi = {10.1007/978-3-319-20615-8\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/SiddiqueHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Tarau15,
author = {Paul Tarau},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {118--133},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_8},
doi = {10.1007/978-3-319-20615-8\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Tarau15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/WisniewskiSB15,
author = {Max Wisniewski and
Alexander Steen and
Christoph Benzm{\"{u}}ller},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {LeoPARD - {A} Generic Platform for the Implementation of Higher-Order
Reasoners},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {325--330},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_22},
doi = {10.1007/978-3-319-20615-8\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/WisniewskiSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ZanibbiO15,
author = {Richard Zanibbi and
Awelemdy Orakwue},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based
Retrieval},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {18--36},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_2},
doi = {10.1007/978-3-319-20615-8\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ZanibbiO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ZhangY15,
author = {Qun Zhang and
Abdou Youssef},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Performance Evaluation and Optimization of Math-Similarity Search},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {243--257},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_16},
doi = {10.1007/978-3-319-20615-8\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ZhangY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2015,
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8},
doi = {10.1007/978-3-319-20615-8},
isbn = {978-3-319-20614-1},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2015.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-05-23 11:41 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:
