default search action

combined dblp search
author search
venue search
publication search

ask others

10th MKM / 18th Calculemus 2011: Bertinoro, Italy

> Home > Conferences and Workshops > MKM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2011
James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe:
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Lecture Notes in Computer Science 6824, Springer 2011, ISBN 978-3-642-22672-4

Calculemus 2011

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/DistlerSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/DistlerSS11
Andreas Distler, Muhammad Shah, Volker Sorge:
Enumeration of AG-Groupoids. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ReisML11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ReisML11
Gabriel Dos Reis, David C. J. Matthews, Yue Li:
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework. 15-29
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HerasPDR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HerasPDR11
Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau:
Incidence Simplicial Matrices Formalized in Coq/SSReflect. 30-44
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KaliszykI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KaliszykI11
Cezary Kaliszyk, Tetsuo Ida:
Proof Assistant Decision Procedures for Formalizing Origami. 45-57
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KerberRW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KerberRW11
Manfred Kerber, Colin Rowat, Wolfgang Windsteiger:
Using Theorema in the Formalization of Theoretical Economics. 58-73
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KomendantskyKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KomendantskyKL11
Vladimir Komendantsky, Alexander Konovalov, Steve Linton:
View of Computer Algebra Data from Coq. 74-89
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KrebbersS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KrebbersS11
Robbert Krebbers, Bas Spitters:
Computer Certified Efficient Exact Reals in Coq. 90-106
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/RabeKC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/RabeKC11
Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen:
A Foundational View on Integration Problems. 107-122
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SolovyevH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SolovyevH11
Alexey Solovyev, Thomas C. Hales:
Efficient Formal Verification of Bounds of Linear Programs. 123-132

Mathematical Knowledge Management 2011

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AlamaBMU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AlamaBMU11
Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban:
Large Formal Wikis: Issues and Solutions. 133-148
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AlamaKMNRU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AlamaKMNRU11
Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban:
Licensing the Mizar Mathematical Library. 149-163
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AutexierDDKZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AutexierDDKZ11
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev:
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. 164-179
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CramerKS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CramerKS11
Marcos Cramer, Peter Koepke, Bernhard Schröder:
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System. 180-195
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HeerenJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HeerenJ11
Bastiaan Heeren, Johan Jeuring:
Interleaving Strategies. 196-211
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HorozalIJKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HorozalIJKR11
Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe:
Combining Source, Content, Presentation, Narration, and Relational Representation. 212-227
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SojkaL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SojkaL11
Petr Sojka, Martin Líska:
Indexing and Searching Mathematics in Digital Libraries - Architecture, Design and Scalability Issues. 228-243
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Wenzel11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Wenzel11
Makarius Wenzel:
Isabelle as Document-Oriented Proof Assistant. 244-259
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/WhitesideADG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/WhitesideADG11
Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov:
Towards Formal Proof Script Refactoring. 260-275

CICM Systems and Projects

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Alama11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Alama11
Jesse Alama:
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library. 276-277
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AspertiMCSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AspertiMCSV11
Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini:
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 278-280
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BorbinhaBNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BorbinhaBNS11
José Borbinha, Thierry Bouche, Aleksander Nowinski, Petr Sojka:
Project EuDML - A First Year Demonstration. 281-284
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Botana11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Botana11
Francisco Botana:
A Symbolic Companion for Interactive Geometric Systems. 285-286
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CaretteFO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CaretteFO11
Jacques Carette, William M. Farmer, Russell O'Connor:
MathScheme: Project Description. 287-288
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CodescuHKMR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CodescuHKMR11
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
Project Abstract: Logic Atlas and Integrator (LATIN). 289-291
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/GinevSMK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GinevSMK11
Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase:
The LaTeXML Daemon: Editable Math on the Collaborative Web. 292-294
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HerasPR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HerasPR11
Jónathan Heras, Vico Pascual, Julio Rubio:
A System for Computing and Reasoning in Algebraic Topology. 295-297
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KuhlweinUTGH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KuhlweinUTGH11
Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes:
Learning2Reason. 298-300
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KrebbersW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KrebbersW11
Robbert Krebbers, Freek Wiedijk:
A Formalization of the C99 Standard in HOL, Isabelle and Coq. 301-303
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/000211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/000211
Christoph Lange:
Krextor - An Extensible Framework for Contributing Content Math to the Web of Data. 304-306
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MisutkaG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MisutkaG11
Jozef Misutka, Leo Galambos:
System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org. 307-309

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.