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 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Autexier, Serge (Επιμελητής έκδοσης), Calmet, Jacques (Επιμελητής έκδοσης), Delahaye, David (Επιμελητής έκδοσης), Ion, Patrick D. F. (Επιμελητής έκδοσης), Rideau, Laurence (Επιμελητής έκδοσης), Rioboo, Renaud (Επιμελητής έκδοσης), Sexton, Alan P. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Σειρά:Lecture Notes in Computer Science, 6167
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04391nam a22005295i 4500
001 978-3-642-14128-7
003 DE-He213
005 20151204150838.0
007 cr nn 008mamaa
008 100629s2010 gw | s |||| 0|eng d
020 |a 9783642141287  |9 978-3-642-14128-7 
024 7 |a 10.1007/978-3-642-14128-7  |2 doi 
040 |d GrThAP 
050 4 |a QA150-272 
072 7 |a PBF  |2 bicssc 
072 7 |a MAT002000  |2 bisacsh 
082 0 4 |a 512  |2 23 
245 1 0 |a Intelligent Computer Mathematics  |h [electronic resource] :  |b 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings /  |c edited by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2010. 
300 |a XV, 471 p. 71 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 6167 
505 0 |a 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. 
650 0 |a Mathematics. 
650 0 |a Artificial intelligence. 
650 0 |a Algebra. 
650 1 4 |a Mathematics. 
650 2 4 |a Algebra. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
700 1 |a Autexier, Serge.  |e editor. 
700 1 |a Calmet, Jacques.  |e editor. 
700 1 |a Delahaye, David.  |e editor. 
700 1 |a Ion, Patrick D. F.  |e editor. 
700 1 |a Rideau, Laurence.  |e editor. 
700 1 |a Rioboo, Renaud.  |e editor. 
700 1 |a Sexton, Alan P.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642141270 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 6167 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-14128-7  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)