Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/mkm/2019w,
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2634},
  urn          = {urn:nbn:de:0074-2634-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/2019w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Asakura19,
  author       = {Takuto Asakura},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Understanding Scientific Documents with Synthetic Analysis on Mathematical
                  Expressions and Natural Language},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Asakura19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Berlioz19,
  author       = {Luis Berlioz},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Creating a Database of Definitions From Large Mathematical Corpora},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/WiP2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Berlioz19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Betzendahl19,
  author       = {Jonas Betzendahl},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Definedness Reasoning in Formal Mathematics and Theorem Proving},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Betzendahl19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/BouquetB19,
  author       = {Alexandre Bouquet and
                  Thierry Bouche},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {{MDML:} The Mathdoc Digital Mathematics Library},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/WiP3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/BouquetB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Chen19,
  author       = {Joshua Chen},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Hybrid and alternative logics in Isabelle},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Chen19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/DalitzSSC19,
  author       = {Wolfgang Dalitz and
                  Wolfram Sperber and
                  Moritz Schubotz and
                  Hagen Chrapary},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {alsoMATH - {A} Database for Mathematical Algorithms and Software},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/LML2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/DalitzSSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Grabowski19,
  author       = {Adam Grabowski},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Constructing Examples of Fuzzy Implications within the Mizar Mathematical
                  Library},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/FMM6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Grabowski19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Jaszczak19,
  author       = {Adrian Jaszczak},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Formal verification of the correctness of chosen algorithms in Mizar},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/FMM5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Jaszczak19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/JunkH19,
  author       = {Michael Junk and
                  Stefan H{\"{o}}lle},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Numerical MATh},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/FMM2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/JunkH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KirillovichNFLS19,
  author       = {Alexander Kirillovich and
                  Olga Nevzorova and
                  Marina V. Falileeva and
                  Evgeny K. Lipachev and
                  Liliana R. Shakirova},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {OntoMath\({}^{\mbox{Edu}}\): Towards an Educational Mathematical Ontology},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/WiP1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/KirillovichNFLS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Koepke19,
  author       = {Peter Koepke},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Textbook Mathematics in the Naproche-SAD System},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/FMM4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Koepke19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Kornilowicz19,
  author       = {Artur Kornilowicz},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Sethood Property in Mizar},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/FMM3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Kornilowicz19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Naumowicz19,
  author       = {Adam Naumowicz},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Testing Mizar User Interactivity in a University-level Introductory
                  Course on Foundations of Mathematics},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/FMM1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Naumowicz19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Rapp19,
  author       = {Max Rapp},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {A Unifying Framework for Managing Conflict-laden Content},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Rapp19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Sahli19,
  author       = {Sebastian Sahli},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {The "MATh Tutor" project},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Sahli19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Sharoda19,
  author       = {Yasmine Sharoda},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Leveraging Information Contained in Theory Presentations},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Sharoda19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Simon19,
  author       = {Frieder Simon},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {New Approaches to ATPs},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Simon19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Wang19,
  author       = {Qingxiang Wang},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Automating Formalization of Mathematics with Machine Learning and
                  Data Mining},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Wang19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Wenzel19a,
  author       = {Makarius Wenzel},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Isabelle technology for the Archive of Formal Proofs with application
                  to {MMT}},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/LML1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Wenzel19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Wiesing19,
  author       = {Tom Wiesing},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Evolving MathHub for Tetrapodal Math},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/DP8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Wiesing19.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.