Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/mkm/mkm2011.bht:"
@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} }
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.