Search dblp for Publications

export results for "toc:db/conf/mkm/cicm2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/mkm/BoucheL17,
  author       = {Thierry Bouche and
                  Olivier Labbe},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {The New Numdam Platform},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {70--82},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_6},
  doi          = {10.1007/978-3-319-62075-6\_6},
  timestamp    = {Mon, 31 Jan 2022 07:36:54 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/BoucheL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/BowlesC17,
  author       = {Juliana Bowles and
                  Marco B. Caminati},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {A Verified Algorithm Enumerating Event Structures},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {239--254},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_17},
  doi          = {10.1007/978-3-319-62075-6\_17},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/BowlesC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CaretteF17,
  author       = {Jacques Carette and
                  William M. Farmer},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Formalizing Mathematical Knowledge as a Biform Theory Graph: {A} Case
                  Study},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {9--24},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_2},
  doi          = {10.1007/978-3-319-62075-6\_2},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/CaretteF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CarterM17,
  author       = {Nathan C. Carter and
                  Kenneth G. Monks},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {A Web-Based Toolkit for Mathematical Word Processing Applications
                  with Semantics},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {272--291},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_19},
  doi          = {10.1007/978-3-319-62075-6\_19},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/CarterM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Chojecki17,
  author       = {Przemyslaw Chojecki},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {DeepAlgebra - An Outline of a Program},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {1--8},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_1},
  doi          = {10.1007/978-3-319-62075-6\_1},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Chojecki17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CohlSYGGSMBC17,
  author       = {Howard S. Cohl and
                  Moritz Schubotz and
                  Abdou Youssef and
                  Andr{\'{e}} Greiner{-}Petter and
                  J{\"{u}}rgen Gerhard and
                  Bonita V. Saunders and
                  Marjorie A. McClain and
                  Joon Bang and
                  Kevin Chen},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Semantic Preserving Bijective Mappings of Mathematical Formulae Between
                  Document Preparation Systems and Computer Algebra Systems},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {115--131},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_9},
  doi          = {10.1007/978-3-319-62075-6\_9},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/CohlSYGGSMBC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CorneliMMP17,
  author       = {Joseph Corneli and
                  Ursula Martin and
                  Dave Murray{-}Rust and
                  Alison Pease},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Towards Mathematical {AI} via a Model of the Content and Process of
                  Mathematical Question and Answer Dialogues},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_10},
  doi          = {10.1007/978-3-319-62075-6\_10},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/CorneliMMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Farmer17,
  author       = {William M. Farmer},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Theory Morphisms in Church's Type Theory with Quotation and Evaluation},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_11},
  doi          = {10.1007/978-3-319-62075-6\_11},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Farmer17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Ford17,
  author       = {Ian Ford},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Semantic Representation of General Topology in the Wolfram Language},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {163--177},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_12},
  doi          = {10.1007/978-3-319-62075-6\_12},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Ford17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/HolmstromV17,
  author       = {Andreas Holmstrom and
                  Torstein Vik},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Zeta Types and Tannakian Symbols as a Method for Representing Mathematical
                  Knowledge},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {178--192},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_13},
  doi          = {10.1007/978-3-319-62075-6\_13},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/HolmstromV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/IonW17,
  author       = {Patrick D. F. Ion and
                  Stephen M. Watt},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {The Global Digital Mathematics Library and the International Mathematical
                  Knowledge Trust},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {56--69},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_5},
  doi          = {10.1007/978-3-319-62075-6\_5},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/IonW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/JakubuvU17,
  author       = {Jan Jakubuv and
                  Josef Urban},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {{ENIGMA:} Efficient Learning-Based Inference Guiding Machine},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {292--302},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_20},
  doi          = {10.1007/978-3-319-62075-6\_20},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/JakubuvU17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KaliszykP17,
  author       = {Cezary Kaliszyk and
                  Karol Pak},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Presentation and Manipulation of Mizar Properties in an Isabelle Object
                  Logic},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {193--207},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_14},
  doi          = {10.1007/978-3-319-62075-6\_14},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/KaliszykP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KohlhaseKF17,
  author       = {Andrea Kohlhase and
                  Michael Kohlhase and
                  Michael F{\"{u}}rsich},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Visual Structure in Mathematical Expressions},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {208--223},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_15},
  doi          = {10.1007/978-3-319-62075-6\_15},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/KohlhaseKF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KohlhaseKMT17,
  author       = {Michael Kohlhase and
                  Thomas Koprucki and
                  Dennis M{\"{u}}ller and
                  Karsten Tabelow},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Mathematical Models as Research Data via Flexiformal Theory Graphs},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {224--238},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_16},
  doi          = {10.1007/978-3-319-62075-6\_16},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KohlhaseKMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KohlhaseS17,
  author       = {Michael Kohlhase and
                  Wolfram Sperber},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Software Citations, Information Systems, and Beyond},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {99--114},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_8},
  doi          = {10.1007/978-3-319-62075-6\_8},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/KohlhaseS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KomendantskayaH17,
  author       = {Ekaterina Komendantskaya and
                  J{\'{o}}nathan Heras},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Proof Mining with Dependent Types},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {303--318},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_21},
  doi          = {10.1007/978-3-319-62075-6\_21},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KomendantskayaH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/MaletzkyW17,
  author       = {Alexander Maletzky and
                  Wolfgang Windsteiger},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {The Formalization of Vickrey Auctions: {A} Comparison of Two Approaches
                  in Isabelle and Theorema},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {25--39},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_3},
  doi          = {10.1007/978-3-319-62075-6\_3},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/MaletzkyW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/MullerGKKR17,
  author       = {Dennis M{\"{u}}ller and
                  Thibault Gauthier and
                  Cezary Kaliszyk and
                  Michael Kohlhase and
                  Florian Rabe},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Classification of Alignments Between Concepts of Formal Mathematical
                  Systems},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {83--98},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_7},
  doi          = {10.1007/978-3-319-62075-6\_7},
  timestamp    = {Fri, 20 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/MullerGKKR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/RashidH17,
  author       = {Adnan Rashid and
                  Osman Hasan},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Formalization of Transform Methods Using {HOL} Light},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {319--332},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_22},
  doi          = {10.1007/978-3-319-62075-6\_22},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/RashidH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SanwalS17,
  author       = {Usman Sanwal and
                  Umair Siddique},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Combining Refinement and Signal-Temporal Logic for Biological Systems},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {333--339},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_23},
  doi          = {10.1007/978-3-319-62075-6\_23},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/SanwalS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SchubotzMHCG17,
  author       = {Moritz Schubotz and
                  Norman Meuschke and
                  Thomas Hepp and
                  Howard S. Cohl and
                  Bela Gipp},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {{VMEXT:} {A} Visualization Tool for Mathematical Expression Trees},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {340--355},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_24},
  doi          = {10.1007/978-3-319-62075-6\_24},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/SchubotzMHCG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/ShamsJSS17,
  author       = {Zohreh Shams and
                  Mateja Jamnik and
                  Gem Stapleton and
                  Yuri Sato},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Reasoning with Concept Diagrams About Antipatterns in Ontologies},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {255--271},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_18},
  doi          = {10.1007/978-3-319-62075-6\_18},
  timestamp    = {Mon, 11 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/ShamsJSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SlamaB17,
  author       = {Franck Slama and
                  Edwin C. Brady},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Automatically Proving Equivalence by Type-Safe Reflection},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {40--55},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_4},
  doi          = {10.1007/978-3-319-62075-6\_4},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/SlamaB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Youssef17,
  author       = {Abdou Youssef},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Part-of-Math Tagging and Applications},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {356--374},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_25},
  doi          = {10.1007/978-3-319-62075-6\_25},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Youssef17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mkm/2017,
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6},
  doi          = {10.1007/978-3-319-62075-6},
  isbn         = {978-3-319-62074-9},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.