default search action
Search dblp for Publications
export results for "toc:db/conf/mkm/mkm2005.bht:"
@proceedings{DBLP:conf/mkm/2005, editor = {Michael Kohlhase}, title = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11618027}, doi = {10.1007/11618027}, isbn = {3-540-31430-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/Aboul-HosnA05, author = {Kamal Aboul{-}Hosn and Terese Andersen}, editor = {Michael Kohlhase}, title = {A Proof-Theoretic Approach to Hierarchical Math Library Organization}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {1--16}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_1}, doi = {10.1007/11618027\_1}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/mkm/Aboul-HosnA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/AspertiGLMC05, author = {Andrea Asperti and Herman Geuvers and Iris Loeb and Lionel Elie Mamane and Claudio Sacerdoti Coen}, editor = {Michael Kohlhase}, title = {An Interactive Algebra Course with Formalised Proofs and Definitions}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {315--329}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_21}, doi = {10.1007/11618027\_21}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/AspertiGLMC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/AspinallLW05, author = {David Aspinall and Christoph L{\"{u}}th and Burkhart Wolff}, editor = {Michael Kohlhase}, title = {Assisted Proof Document Authoring}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {65--80}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_5}, doi = {10.1007/11618027\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/AspinallLW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/AutexierBDMW05, author = {Serge Autexier and Christoph Benzm{\"{u}}ller and Dominik Dietrich and Andreas Meier and Claus{-}Peter Wirth}, editor = {Michael Kohlhase}, title = {A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {126--142}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_9}, doi = {10.1007/11618027\_9}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/AutexierBDMW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/AutexierF05, author = {Serge Autexier and Armin Fiedler}, editor = {Michael Kohlhase}, title = {Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {96--110}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_7}, doi = {10.1007/11618027\_7}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/AutexierF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/CairnsG05, author = {Paul A. Cairns and Jeremy Gow}, editor = {Michael Kohlhase}, title = {Literate Proving: Presenting and Documenting Formal Proofs}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {159--173}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_11}, doi = {10.1007/11618027\_11}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/CairnsG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/Coen05, author = {Claudio Sacerdoti Coen}, editor = {Michael Kohlhase}, title = {Explanation in Natural Language of lamda-{\(\mathrm{\mu}\)}{\(\mathrm{\mu}\)}-Terms}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {234--249}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_16}, doi = {10.1007/11618027\_16}, timestamp = {Tue, 28 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/Coen05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/CohenCJS05, author = {Arjeh M. Cohen and Hans Cuypers and Dorina Jibetean and Mark Spanbroek}, editor = {Michael Kohlhase}, title = {Interactive Learning and Mathematical Calculus}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {330--345}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_22}, doi = {10.1007/11618027\_22}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/CohenCJS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/GrabowskiS05, author = {Adam Grabowski and Christoph Schwarzweller}, editor = {Michael Kohlhase}, title = {Translating Mathematical Vernacular into Knowledge Repositories}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {49--64}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_4}, doi = {10.1007/11618027\_4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/GrabowskiS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/IdaTM05, author = {Tetsuo Ida and Hidekazu Takahashi and Mircea Marin}, editor = {Michael Kohlhase}, title = {Computational Origami of a Morley's Triangle}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {267--282}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_18}, doi = {10.1007/11618027\_18}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/IdaTM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/Jojgov05, author = {Gueorgui I. Jojgov}, editor = {Michael Kohlhase}, title = {Translating a Fragment of Weak Type Theory into Type Theory with Open Terms}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {389--403}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_26}, doi = {10.1007/11618027\_26}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/Jojgov05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/KamareddineMW05, author = {Fairouz Kamareddine and Manuel Maarek and J. B. Wells}, editor = {Michael Kohlhase}, title = {Toward an Object-Oriented Structure for Mathematical Text}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {217--233}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_15}, doi = {10.1007/11618027\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/KamareddineMW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/KerberP05, author = {Manfred Kerber and Martin Pollet}, editor = {Michael Kohlhase}, title = {A Tough Nut for Mathematical Knowledge Management}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {81--95}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_6}, doi = {10.1007/11618027\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/KerberP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/KohlhaseK05, author = {Andrea Kohlhase and Michael Kohlhase}, editor = {Michael Kohlhase}, title = {An Exploration in the Space of Mathematical Knowledge}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {17--32}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_2}, doi = {10.1007/11618027\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/Kulpa05, author = {Zenon Kulpa}, editor = {Michael Kohlhase}, title = {Designing Diagrammatic Catalogues of Types of Basic Interval Equation: {A} Case Study}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {283--298}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_19}, doi = {10.1007/11618027\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/Kulpa05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/MahnkeS05, author = {Achim Mahnke and Jan Scheffczyk}, editor = {Michael Kohlhase}, title = {Engineering Mathematical Knowledge}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {250--266}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_17}, doi = {10.1007/11618027\_17}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/MahnkeS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/ManzoorLUM05, author = {Shahid Manzoor and Paul Libbrecht and Carsten Ullrich and Erica Melis}, editor = {Michael Kohlhase}, title = {Authoring Presentation for OpenMath}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {33--48}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_3}, doi = {10.1007/11618027\_3}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/ManzoorLUM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/MeierM05, author = {Andreas Meier and Erica Melis}, editor = {Michael Kohlhase}, title = {Impasse-Driven Reasoning in Proof Planning}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {143--158}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_10}, doi = {10.1007/11618027\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/MeierM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/Milewski05, author = {Robert Milewski}, editor = {Michael Kohlhase}, title = {Transformations of {MML} Database's Elements}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {376--388}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_25}, doi = {10.1007/11618027\_25}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/Milewski05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/NakagawaS05, author = {Koji Nakagawa and Masakazu Suzuki}, editor = {Michael Kohlhase}, title = {Mathematical Knowledge Browser with Automatic Hyperlink Detection}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {190--202}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_13}, doi = {10.1007/11618027\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/NakagawaS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/NaylorP05, author = {William Naylor and Julian A. Padget}, editor = {Michael Kohlhase}, title = {Semantic Matching for Mathematical Services}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {174--189}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_12}, doi = {10.1007/11618027\_12}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/NaylorP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/Schwarzweller05, author = {Christoph Schwarzweller}, editor = {Michael Kohlhase}, title = {Gr{\"{o}}bner Bases - Theory Refinement in the Mizar System}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {299--314}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_20}, doi = {10.1007/11618027\_20}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/Schwarzweller05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/SextonS05, author = {Alan P. Sexton and Volker Sorge}, editor = {Michael Kohlhase}, title = {Processing Textbook-Style Matrices}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {111--125}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_8}, doi = {10.1007/11618027\_8}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/SextonS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/SextonS05a, author = {Alan P. Sexton and Volker Sorge}, editor = {Michael Kohlhase}, title = {A Database of Glyphs for {OCR} of Mathematical Documents}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {203--216}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_14}, doi = {10.1007/11618027\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/SextonS05a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/SoW05, author = {Clare M. So and Stephen M. Watt}, editor = {Michael Kohlhase}, title = {Determining Empirical Characteristics of Mathematical Expression Use}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {361--375}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_24}, doi = {10.1007/11618027\_24}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/SoW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/Urban05, author = {Josef Urban}, editor = {Michael Kohlhase}, title = {XML-izing Mizar: Making Semantic Processing and Presentation of {MML} Easy}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {346--360}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_23}, doi = {10.1007/11618027\_23}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/Urban05.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.