000 | 04469nam a22005415i 4500 | ||
---|---|---|---|
001 | 978-3-642-14128-7 | ||
003 | DE-He213 | ||
005 | 20160624102145.0 | ||
007 | cr nn 008mamaa | ||
008 | 100629s2010 gw | s |||| 0|eng d | ||
020 |
_a9783642141287 _9978-3-642-14128-7 |
||
024 | 7 |
_a10.1007/978-3-642-14128-7 _2doi |
|
050 | 4 | _aQ334-342 | |
050 | 4 | _aTJ210.2-211.495 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aTJFM1 _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
082 | 0 | 4 |
_a006.3 _223 |
245 | 1 | 0 |
_aIntelligent Computer Mathematics _h[electronic resource] : _b10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / _cedited by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
300 |
_aXV, 471p. 71 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6167 |
|
505 | 0 | _aContributions 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 | _aComputer science. | |
650 | 0 | _aArtificial intelligence. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
700 | 1 |
_aAutexier, Serge. _eeditor. |
|
700 | 1 |
_aCalmet, Jacques. _eeditor. |
|
700 | 1 |
_aDelahaye, David. _eeditor. |
|
700 | 1 |
_aIon, Patrick D. F. _eeditor. |
|
700 | 1 |
_aRideau, Laurence. _eeditor. |
|
700 | 1 |
_aRioboo, Renaud. _eeditor. |
|
700 | 1 |
_aSexton, Alan P. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642141270 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6167 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-14128-7 |
942 |
_2EBK9134 _cEBK |
||
999 |
_c38428 _d38428 |