10. AISC / 9. MKM / 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
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