1 option
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 / edited by Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 6167.
- Lecture Notes in Artificial Intelligence ; 6167
- Language:
- English
- Subjects (All):
- Algebra.
- Artificial intelligence.
- Artificial Intelligence.
- Local Subjects:
- Algebra.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (XV, 471 pages) : 71 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- Contents:
- Contributions to AISC 2010
- The Challenges of Multivalued "Functions"
- The Dynamic Dictionary of Mathematical Functions
- A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence
- I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness
- Structured Formal Development with Quotient Types in Isabelle/HOL
- Instantiation of SMT Problems Modulo Integers
- On Krawtchouk Transforms
- A Mathematical Model of the Competition between Acquired Immunity and Virus
- Some Notes upon "When Does $]]> Equal Sat ?"
- How to Correctly Prune Tropical Trees
- From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
- Contributions to Calculemus 2010
- Some Considerations on the Usability of Interactive Provers
- Mechanized Mathematics
- Formal Proof of SCHUR Conjugate Function
- Symbolic Domain Decomposition
- A Formal Quantifier Elimination for Algebraically Closed Fields
- Computing in Coq with Infinite Algebraic Data Structures
- Formally Verified Conditions for Regularity of Interval Matrices
- Reducing Expression Size Using Rule-Based Integration
- A Unified Formal Description of Arithmetic and Set Theoretical Data Types
- Contributions to MKM 2010
- Against Rigor
- Smart Matching
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- An OpenMath Content Dictionary for Tensor Concepts
- On Duplication in Mathematical Repositories
- Adapting Mathematical Domain Reasoners
- Integrating Multiple Sources to Answer Questions in Algebraic Topology
- An Integrated Development Environment for Collections
- Proofs, Proofs, Proofs, and Proofs
- Dimensions of Formality: A Case Study for MKM in Software Engineering
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture
- The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents
- Notations Around the World: Census and Exploitation
- Evidence Algorithm and System for Automated Deduction: A Retrospective View
- On Building a Knowledge Base for Stability Theory
- Proviola: A Tool for Proof Re-animation
- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-14128-7
- 9783642141287
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.