Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/mkm/2015wip,
  editor       = {Manfred Kerber and
                  Jacques Carette and
                  Cezary Kaliszyk and
                  Florian Rabe and
                  Volker Sorge},
  title        = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
                  USA, July 13-17, 2015},
  year         = {2015},
  url          = {https://cicm-conference.org/2015/CICM2015-wip.pdf},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/2015wip.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Carneiro15,
  author       = {Mario Carneiro},
  editor       = {Manfred Kerber and
                  Jacques Carette and
                  Cezary Kaliszyk and
                  Florian Rabe and
                  Volker Sorge},
  title        = {Arithmetic in Metamath, Case Study: Bertrand's Postulate},
  booktitle    = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
                  USA, July 13-17, 2015},
  pages        = {3--18},
  year         = {2015},
  url          = {https://cicm-conference.org/2015/CICM2015-wip.pdf\#page=3},
  timestamp    = {Thu, 25 Nov 2021 15:07:53 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Carneiro15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CommelinU15,
  author       = {Johan Commelin and
                  Josef Urban},
  editor       = {Manfred Kerber and
                  Jacques Carette and
                  Cezary Kaliszyk and
                  Florian Rabe and
                  Volker Sorge},
  title        = {Auto-hyperlinking the Stacks Project},
  booktitle    = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
                  USA, July 13-17, 2015},
  pages        = {19--24},
  year         = {2015},
  url          = {https://cicm-conference.org/2015/CICM2015-wip.pdf\#page=19},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/CommelinU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/GinevIJKKSS15,
  author       = {Deyan Ginev and
                  Mihnea Iancu and
                  Constantin Jucovshi and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  J{\"{u}}rgen Schefter and
                  Wolfram Sperber},
  editor       = {Manfred Kerber and
                  Jacques Carette and
                  Cezary Kaliszyk and
                  Florian Rabe and
                  Volker Sorge},
  title        = {The SMGloM Project and System},
  booktitle    = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
                  USA, July 13-17, 2015},
  pages        = {25--28},
  year         = {2015},
  url          = {https://cicm-conference.org/2015/CICM2015-wip.pdf\#page=25},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/GinevIJKKSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/NevelnA15,
  author       = {Robert C. Neveln and
                  Robert A. Alps},
  editor       = {Manfred Kerber and
                  Jacques Carette and
                  Cezary Kaliszyk and
                  Florian Rabe and
                  Volker Sorge},
  title        = {Parsing Texts and Checking Proofs in {LATEX}},
  booktitle    = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
                  USA, July 13-17, 2015},
  pages        = {29--43},
  year         = {2015},
  url          = {https://cicm-conference.org/2015/CICM2015-wip.pdf\#page=29},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/NevelnA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/QuaresmaSM15,
  author       = {Pedro Quaresma and
                  Vanda Santos and
                  Milena Maric},
  editor       = {Manfred Kerber and
                  Jacques Carette and
                  Cezary Kaliszyk and
                  Florian Rabe and
                  Volker Sorge},
  title        = {A Web Environment for Geometry},
  booktitle    = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
                  USA, July 13-17, 2015},
  pages        = {44--49},
  year         = {2015},
  url          = {https://cicm-conference.org/2015/CICM2015-wip.pdf\#page=44},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/QuaresmaSM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/ZimmermannH15,
  author       = {Th{\'{e}}o Zimmermann and
                  Hugo Herbelin},
  editor       = {Manfred Kerber and
                  Jacques Carette and
                  Cezary Kaliszyk and
                  Florian Rabe and
                  Volker Sorge},
  title        = {Automatic and Transparent Transfer of Theorems along Isomorphisms
                  in the Coq Proof Assistant},
  booktitle    = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
                  USA, July 13-17, 2015},
  pages        = {50--62},
  year         = {2015},
  url          = {https://cicm-conference.org/2015/CICM2015-wip.pdf\#page=50},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/ZimmermannH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}