Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/mkm/000211,
  author       = {Christoph Lange},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Krextor - An Extensible Framework for Contributing Content Math to
                  the Web of Data},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {304--306},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_29},
  doi          = {10.1007/978-3-642-22673-1\_29},
  timestamp    = {Fri, 20 Nov 2020 16:08:54 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/000211.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Alama11,
  author       = {Jesse Alama},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical
                  Library},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {276--277},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_19},
  doi          = {10.1007/978-3-642-22673-1\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Alama11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/AlamaBMU11,
  author       = {Jesse Alama and
                  Kasper Brink and
                  Lionel Mamane and
                  Josef Urban},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Large Formal Wikis: Issues and Solutions},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {133--148},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_10},
  doi          = {10.1007/978-3-642-22673-1\_10},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/AlamaBMU11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/AlamaKMNRU11,
  author       = {Jesse Alama and
                  Michael Kohlhase and
                  Lionel Mamane and
                  Adam Naumowicz and
                  Piotr Rudnicki and
                  Josef Urban},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Licensing the Mizar Mathematical Library},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_11},
  doi          = {10.1007/978-3-642-22673-1\_11},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/AlamaKMNRU11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/AspertiMCSV11,
  author       = {Andrea Asperti and
                  Maria Emilia Maietti and
                  Claudio Sacerdoti Coen and
                  Giovanni Sambin and
                  Silvio Valentini},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Formalization of Formal Topology by Means of the Interactive Theorem
                  Prover Matita},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {278--280},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_20},
  doi          = {10.1007/978-3-642-22673-1\_20},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/AspertiMCSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/AutexierDDKZ11,
  author       = {Serge Autexier and
                  Catalin David and
                  Dominik Dietrich and
                  Michael Kohlhase and
                  Vyacheslav Zholudev},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Workflows for the Management of Change in Science, Technologies, Engineering
                  and Mathematics},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {164--179},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_12},
  doi          = {10.1007/978-3-642-22673-1\_12},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/AutexierDDKZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/BorbinhaBNS11,
  author       = {Jos{\'{e}} Borbinha and
                  Thierry Bouche and
                  Aleksander Nowinski and
                  Petr Sojka},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Project EuDML - {A} First Year Demonstration},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {281--284},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_21},
  doi          = {10.1007/978-3-642-22673-1\_21},
  timestamp    = {Mon, 13 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/BorbinhaBNS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Botana11,
  author       = {Francisco Botana},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {A Symbolic Companion for Interactive Geometric Systems},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {285--286},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_22},
  doi          = {10.1007/978-3-642-22673-1\_22},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Botana11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CaretteFO11,
  author       = {Jacques Carette and
                  William M. Farmer and
                  Russell O'Connor},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {MathScheme: Project Description},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {287--288},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_23},
  doi          = {10.1007/978-3-642-22673-1\_23},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/CaretteFO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CodescuHKMR11,
  author       = {Mihai Codescu and
                  Feryal Fulya Horozal and
                  Michael Kohlhase and
                  Till Mossakowski and
                  Florian Rabe},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Project Abstract: Logic Atlas and Integrator {(LATIN)}},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {289--291},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_24},
  doi          = {10.1007/978-3-642-22673-1\_24},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/CodescuHKMR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CramerKS11,
  author       = {Marcos Cramer and
                  Peter Koepke and
                  Bernhard Schr{\"{o}}der},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Parsing and Disambiguation of Symbolic Mathematics in the Naproche
                  System},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {180--195},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_13},
  doi          = {10.1007/978-3-642-22673-1\_13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/CramerKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/DistlerSS11,
  author       = {Andreas Distler and
                  Muhammad Shah and
                  Volker Sorge},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Enumeration of AG-Groupoids},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_1},
  doi          = {10.1007/978-3-642-22673-1\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/DistlerSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/GinevSMK11,
  author       = {Deyan Ginev and
                  Heinrich Stamerjohanns and
                  Bruce R. Miller and
                  Michael Kohlhase},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {The LaTeXML Daemon: Editable Math on the Collaborative Web},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {292--294},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_25},
  doi          = {10.1007/978-3-642-22673-1\_25},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/GinevSMK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/HeerenJ11,
  author       = {Bastiaan Heeren and
                  Johan Jeuring},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Interleaving Strategies},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {196--211},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_14},
  doi          = {10.1007/978-3-642-22673-1\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/HeerenJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/HerasPDR11,
  author       = {J{\'{o}}nathan Heras and
                  Mar{\'{\i}}a Poza and
                  Maxime D{\'{e}}n{\`{e}}s and
                  Laurence Rideau},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Incidence Simplicial Matrices Formalized in Coq/SSReflect},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {30--44},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_3},
  doi          = {10.1007/978-3-642-22673-1\_3},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/HerasPDR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/HerasPR11,
  author       = {J{\'{o}}nathan Heras and
                  Vico Pascual and
                  Julio Rubio},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {A System for Computing and Reasoning in Algebraic Topology},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {295--297},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_26},
  doi          = {10.1007/978-3-642-22673-1\_26},
  timestamp    = {Tue, 17 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/HerasPR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/HorozalIJKR11,
  author       = {Feryal Fulya Horozal and
                  Alin Iacob and
                  Constantin Jucovschi and
                  Michael Kohlhase and
                  Florian Rabe},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Combining Source, Content, Presentation, Narration, and Relational
                  Representation},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {212--227},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_15},
  doi          = {10.1007/978-3-642-22673-1\_15},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/HorozalIJKR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KaliszykI11,
  author       = {Cezary Kaliszyk and
                  Tetsuo Ida},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Proof Assistant Decision Procedures for Formalizing Origami},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {45--57},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_4},
  doi          = {10.1007/978-3-642-22673-1\_4},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/KaliszykI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KerberRW11,
  author       = {Manfred Kerber and
                  Colin Rowat and
                  Wolfgang Windsteiger},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Using \emph{Theorema} in the Formalization of Theoretical Economics},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {58--73},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_5},
  doi          = {10.1007/978-3-642-22673-1\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KerberRW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KomendantskyKL11,
  author       = {Vladimir Komendantsky and
                  Alexander Konovalov and
                  Steve Linton},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {View of Computer Algebra Data from Coq},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {74--89},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_6},
  doi          = {10.1007/978-3-642-22673-1\_6},
  timestamp    = {Wed, 27 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/KomendantskyKL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KrebbersS11,
  author       = {Robbert Krebbers and
                  Bas Spitters},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Computer Certified Efficient Exact Reals in Coq},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {90--106},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_7},
  doi          = {10.1007/978-3-642-22673-1\_7},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KrebbersS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KrebbersW11,
  author       = {Robbert Krebbers and
                  Freek Wiedijk},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {A Formalization of the {C99} Standard in HOL, Isabelle and Coq},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {301--303},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_28},
  doi          = {10.1007/978-3-642-22673-1\_28},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KrebbersW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KuhlweinUTGH11,
  author       = {Daniel K{\"{u}}hlwein and
                  Josef Urban and
                  Evgeni Tsivtsivadze and
                  Herman Geuvers and
                  Tom Heskes},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Learning2Reason},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {298--300},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_27},
  doi          = {10.1007/978-3-642-22673-1\_27},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/KuhlweinUTGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/MisutkaG11,
  author       = {Jozef Misutka and
                  Leo Galambos},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {System Description: EgoMath2 As a Tool for Mathematical Searching
                  on Wikipedia.org},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {307--309},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_30},
  doi          = {10.1007/978-3-642-22673-1\_30},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/MisutkaG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/RabeKC11,
  author       = {Florian Rabe and
                  Michael Kohlhase and
                  Claudio Sacerdoti Coen},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {A Foundational View on Integration Problems},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {107--122},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_8},
  doi          = {10.1007/978-3-642-22673-1\_8},
  timestamp    = {Fri, 20 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/RabeKC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/ReisML11,
  author       = {Gabriel Dos Reis and
                  David C. J. Matthews and
                  Yue Li},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants
                  and Computer Algebra System Framework},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {15--29},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_2},
  doi          = {10.1007/978-3-642-22673-1\_2},
  timestamp    = {Wed, 14 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/ReisML11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SojkaL11,
  author       = {Petr Sojka and
                  Martin L{\'{\i}}ska},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Indexing and Searching Mathematics in Digital Libraries - Architecture,
                  Design and Scalability Issues},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {228--243},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_16},
  doi          = {10.1007/978-3-642-22673-1\_16},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/SojkaL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SolovyevH11,
  author       = {Alexey Solovyev and
                  Thomas C. Hales},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Efficient Formal Verification of Bounds of Linear Programs},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {123--132},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_9},
  doi          = {10.1007/978-3-642-22673-1\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/SolovyevH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Wenzel11,
  author       = {Makarius Wenzel},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Isabelle as Document-Oriented Proof Assistant},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {244--259},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_17},
  doi          = {10.1007/978-3-642-22673-1\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Wenzel11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/WhitesideADG11,
  author       = {Iain Whiteside and
                  David Aspinall and
                  Lucas Dixon and
                  Gudmund Grov},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Towards Formal Proof Script Refactoring},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {260--275},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_18},
  doi          = {10.1007/978-3-642-22673-1\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/WhitesideADG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mkm/2011,
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1},
  doi          = {10.1007/978-3-642-22673-1},
  isbn         = {978-3-642-22672-4},
  timestamp    = {Fri, 20 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/2011.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.