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    = {Sun, 04 Aug 2024 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}
}

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.