Actions for Intelligent computer mathematics [electronic resource] : 10th international conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings

Email RIS file
Bookmark
Report an Issue

Intelligent computer mathematics [electronic resource] : 10th international conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings / Serge Autexier ... [and others] (eds.).

Conference Author
AISC (Conference) (10th : 2010 : Paris, France)
Additional Titles
AISC 2010, Calculemus 2010, and MKM 2010
Published
Berlin ; New York : Springer, [2010]
Copyright Date
©2010
Physical Description
xv, 469 pages : illustrations ; 24 cm.
Additional Creators
Autexier, Serge, Calculemus 2010 (2010 : Paris, France), and MKM (Conference) (9th : 2010 : Paris, France)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Restrictions on Access
License restrictions may limit access.
Contents
Machine generated contents note: Contributions to AISC 2010 -- The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport -- The Dynamic Dictionary of Mathematical Functions (keynote Talk) / Bruno Salvy -- A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (keynote Talk) / John A. Campbell -- I - Terms in Ordered Resolution and Superposition Calculi: Reterieving Lost cCompleteness / Nicolas Peltier -- Structured Formal Development with Quotient Tupes in Isablle/HOL / Christoph Luth -- Instantiation of SMT Problms Modulo Integres / Nicolas Peltier -- On Krawtchouk Transforms / Rene Schott -- A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev -- Some Notes upon "When Does <T> Equal Sat (T)?" / Youngbin Li -- How to Correctly Prune Tropical Trees / Luca Saiu -- From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas -- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Geoff Sutcliffe -- Contributions to Calculemus 2010 -- Some Considerations on the Usability of Interative Provers (Invited Talk) / Claudio Sacerdoti Coen -- Mechanized Mathematics (Invited Talk) / Jaoques Carette -- Formal Proof of SCHUR Conjugate Function / Frederic Tournazet -- Symbolic Domain Decomposition / Stephen M. Watt -- A Formal Quantifier Elimination for Algebraically Closed Fields / Assia Mahboubi -- Computing in Coq with Infinite Algebraic Data Structures / Julio Rubio -- Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca -- Reducing Expression Size Using Rule-Based Integration / Albert D. Rich -- A Unified Formal Description of Artihmetic and Set Theoretical Data Types / Paul Tarau -- Contributions to MKM 2010 -- Against Rigor (Invited Talk) / Doron Zeilberger -- Smart Matching / Enrico Tassi -- Electronic Geometry Textbook: A Geometric Texstbook Knowledge Management Sysem / Xiaoyu Chen -- An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins -- An Duplicationh in Mathematical Repositories / Christoph Schwarzweller -- Adapting Mathematical Domain Reasoners / Johan Jeuring -- Integrating Multiple Sources to Answer Questions in Algebraic Topology / Julio Rubio -- STEXIDE An Integrated Decelopment Environment for STEX Collections / Michael Kohlhase -- Proofs, Proofs, Proofs, and Proffs / Manfred Kerber -- Dimensions of Formality: A Case Study for MKM in Software Engineering / Christoph Lange -- Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Vyacheslav Zhouldev -- The Formulator MathML Editor Project: User-Friendly Authoring of Content Markukpo Documents / Valentyn Yanchuk -- Notations Around the Wordl: Census and Exploitation / Paul Libbrecht -- Evidence Algorithm and System for Automated Deduction: A Retrospective View / Konstantin Verchinine -- On Building a Knowledge Base for Stabilityk Theroy / Christoph Schwarzweller -- Proviola: A Tool for Proof Re-animation / Frek Wiedijk -- A Wiki for Mizar: Motivation, Considerations, and Intital Prototype / Herman Geuvers.
Summary
The LNAI series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comperhensive computer science research forum avaiable. --
The scope of LNAI spans the whole range of artificial intelligence and intelligent Information processing incliding interdisciplinary topics in a variety of application fields. --
In parallel to the printed book, each new volume is published electronically in LNCS Online. --Book Jacket.
Subject(s)
Genre(s)
ISBN
3642141277 (pbk. : alk. paper)
9783642141270 (pbk. : alk. paper)
View MARC record | catkey: 7847611