17. Calculemus 2010: Paris, France

Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (Eds.): Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Lecture Notes in Computer Science 6167 Springer 2010, ISBN 978-3-642-14127-0

Contributions to AISC 2010

James H. Davenport:
The Challenges of Multivalued "Functions". 1-12
Bruno Salvy:
The Dynamic Dictionary of Mathematical Functions. 13
Jacques Calmet, John A. Campbell:
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. 14-18
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier:
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. 19-33
Maksym Bortin, Christoph Lüth:
Structured Formal Development with Quotient Types in Isabelle/HOL. 34-48
Mnacho Echenim, Nicolas Peltier:
Instantiation of SMT Problems Modulo Integers. 49-63
Philip Feinsilver, René Schott:
On Krawtchouk Transforms. 64-75
Mikhail K. Kolev:
A Mathematical Model of the Competition between Acquired Immunity and Virus. 76-88
Yongbin Li:
Some Notes upon "When Does <T> Equal Sat(T)?". 89-100
Jean-Vincent Loddo, Luca Saiu:
How to Correctly Prune Tropical Trees. 101-115
Salvador Lucas:
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals. 116-131
Josef Urban, Geoff Sutcliffe:
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. 132-146

Contributions to Calculemus 2010

Andrea Asperti, Claudio Sacerdoti Coen:
Some Considerations on the Usability of Interactive Provers. 147-156
Jacques Carette:
Mechanized Mathematics. 157
Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet:
Formal Proof of SCHUR Conjugate Function. 158-171
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. 172-188
Cyril Cohen, Assia Mahboubi:
A Formal Quantifier Elimination for Algebraically Closed Fields. 189-203
César Domínguez, Julio Rubio:
Computing in Coq with Infinite Algebraic Data Structures. 204-218
Ioana Pasca:
Formally Verified Conditions for Regularity of Interval Matrices. 219-233
David J. Jeffrey, Albert D. Rich:
Reducing Expression Size Using Rule-Based Integration. 234-246
Paul Tarau:
A Unified Formal Description of Arithmetic and Set Theoretical Data Types. 247-261

Contributions to MKM 2010

Doron Zeilberger:
Against Rigor. 262
Andrea Asperti, Enrico Tassi:
Smart Matching. 263-277
Xiaoyu Chen:
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System. 278-292
Joseph B. Collins:
An OpenMath Content Dictionary for Tensor Concepts. 293-299
Adam Grabowski, Christoph Schwarzweller:
On Duplication in Mathematical Repositories. 300-314
Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. 315-330
Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio:
Integrating Multiple Sources to Answer Questions in Algebraic Topology. 331-335
Constantin Jucovschi, Michael Kohlhase:
sTeXIIS: An Integrated Development Environment for sTeX Collections. 336-344
Manfred Kerber:
Proofs, Proofs, Proofs, and Proofs. 345-354
Andrea Kohlhase, Michael Kohlhase, Christoph Lange:
Dimensions of Formality: A Case Study for MKM in Software Engineering. 355-369
Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev:
Towards MKM in the Large: Modular Representation and Scalable Software Architecture. 370-384
Andriy Kovalchuk, Vyacheslav Levitsky, Igor Samolyuk, Valentyn Yanchuk:
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents. 385-397
Paul Libbrecht:
Notations Around the World: Census and Exploitation. 398-410
Alexander V. Lyaletski, Konstantin Verchinine:
Evidence Algorithm and System for Automated Deduction: A Retrospective View. 411-426
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller:
On Building a Knowledge Base for Stability Theory. 427-439
Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk:
Proviola: A Tool for Proof Re-animation. 440-454
Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers:
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. 455-469

Last update Tue May 22 03:55:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page