default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th AISC / 9th MKM / 17th Calculemus 2010: Paris, France
- Serge Autexier
, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton:
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
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.
last updated on 2026-08-22 01:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
