skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: Serge Autexier
Publisher: Berlin ; New York : Springer, ©2010.
Series: Lecture notes in computer science, 6167.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Intelligent Computer Mathematics.
Springer-Verlag New York Inc 2010
(DLC) 2010929251
(OCoLC)646114563
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Serge Autexier
ISBN: 9783642141287 3642141285
OCLC Number: 654396289
Description: 1 online resource (xv, 469 pages) : illustrations.
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.
Series Title: Lecture notes in computer science, 6167.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Other Titles: AISC 2010
Calculemus 2010
MKM 2010
Responsibility: Serge Autexier [and others] (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/654396289> # 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
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "654396289" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3769162887#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3769162887#Topic/mathematical_analysis_data_processing> ; # Mathematical analysis--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/3769162887#Topic/algebra_data_processing> ; # Algebra--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/3769162887#Topic/informatique> ; # Informatique
    schema:about <http://dewey.info/class/512.0285/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3769162887#Topic/knowledge_management> ; # Knowledge management
    schema:about <http://experiment.worldcat.org/entity/work/data/3769162887#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:alternateName "Calculemus 2010" ;
    schema:alternateName "MKM 2010" ;
    schema:alternateName "AISC 2010" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3769162887#Meeting/calculemus_2010_2010_paris_france> ; # Calculemus 2010 (2010 : Paris, France)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3769162887#Meeting/mkm_conference_9th_2010_paris_france> ; # MKM (Conference) (9th : 2010 : Paris, France)
    schema:contributor <http://viaf.org/viaf/58612496> ; # Serge Autexier
    schema:copyrightYear "2010" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/3769162887#Meeting/aisc_conference_10th_2010_paris_france> ; # AISC (Conference) (10th : 2010 : Paris, France)
    schema:datePublished "2010" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3769162887> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3769162887#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Lecture notes in artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3769162887#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary. SL 7, Artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3769162887#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://www.worldcat.org/oclc/646114563> ;
    schema:name "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"@en ;
    schema:productID "654396289" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/654396289#PublicationEvent/berlin_new_york_springer_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3769162887#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10399978> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-14128-7> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-02-17/2/9783642141287> ;
    schema:workExample <http://worldcat.org/isbn/9783642141287> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/654396289> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769162887#Meeting/aisc_conference_10th_2010_paris_france> # AISC (Conference) (10th : 2010 : Paris, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3769162887#Place/paris_france> ; # Paris, France)
    schema:name "AISC (Conference) (10th : 2010 : Paris, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769162887#Meeting/mkm_conference_9th_2010_paris_france> # MKM (Conference) (9th : 2010 : Paris, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3769162887#Place/paris_france> ; # Paris, France)
    schema:name "MKM (Conference) (9th : 2010 : Paris, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769162887#Place/paris_france> # Paris, France)
    a schema:Place ;
    schema:name "Paris, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769162887#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/654396289> ; # 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
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769162887#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/654396289> ; # 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
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/3769162887#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary. SL 7, Artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/654396289> ; # 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
    schema:name "LNCS sublibrary. SL 7, Artificial intelligence" ;
    .

<http://viaf.org/viaf/58612496> # Serge Autexier
    a schema:Person ;
    schema:familyName "Autexier" ;
    schema:givenName "Serge" ;
    schema:name "Serge Autexier" ;
    .

<http://worldcat.org/isbn/9783642141287>
    a schema:ProductModel ;
    schema:isbn "3642141285" ;
    schema:isbn "9783642141287" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/654396289> ; # 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
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/oclc/646114563>
    a schema:CreativeWork ;
    rdfs:label "Intelligent Computer Mathematics." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/654396289> ; # 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
    .

<http://www.worldcat.org/title/-/oclc/654396289>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/654396289> ; # 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
    schema:dateModified "2016-08-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.