skip to content
Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings Preview this item
ClosePreview this item
Checking...

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings

Author: Manuel Kauers
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4573.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation  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
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Manuel Kauers
ISBN: 9783540730835 3540730834
OCLC Number: 150414834
Description: xiii, 406 pages : illustrations ; 24 cm.
Contents: Contributions to Calculemus 2007.- Executing in Common Lisp, Proving in ACL2.- A Rational Reconstruction of a System for Experimental Mathematics.- Context Aware Calculation and Deduction.- Towards Constructive Homological Algebra in Type Theory.- What Might "Understand a Function" Mean?.- Biform Theories in Chiron.- Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.- Certified Computer Algebra on Top of an Interactive Theorem Prover.- Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.- Rule-Based Simplification in Vector-Product Spaces.- Contributions to MKM 2007.- Mathematics and Scientific Markup.- The On-Line Encyclopedia of Integer Sequences.- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.- Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case.- A Framework for Interactive Proof.- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.- Mizar Course in Logic and Set Theory.- Using Formal Concept Analysis in Mathematical Discovery.- Cooperative Repositories for Formal Proofs.- Revisions as an Essential Tool to Maintain Mathematical Repositories.- The Layers of Logiweb.- Formal Representation of Mathematics in a Dependently Typed Set Theory.- Restoring Natural Language as a Computerised Mathematics Input Method.- Narrative Structure of Mathematical Texts.- Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch.- Alternative Aggregates in Mizar.- An Approach to Mathematical Search Through Query Formulation and Data Normalization.- Extended Formula Normalization for ?-Retrieval and Sharing of Mathematical Knowledge.- Towards Mathematical Knowledge Management for Electrical Engineering.- Spurious Disambiguation Error Detection.- Methods of Relevance Ranking and Hit-content Generation in Math Search.
Series Title: Lecture notes in computer science, 4573.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: Calculemus 2007
MKM 2007
Responsibility: Manuel Kauers [and others] (eds.).

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/150414834> # Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "150414834" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/203293223#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/203293223#Topic/mathematical_analysis_data_processing> ; # Mathematical analysis--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/203293223#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1012070> ; # Mathematical analysis--Data processing
   schema:about <http://id.worldcat.org/fast/988184> ; # Knowledge management
   schema:about <http://experiment.worldcat.org/entity/work/data/203293223#Topic/algebra_data_processing> ; # Algebra--Data processing
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/203293223#Topic/knowledge_management> ; # Knowledge management
   schema:about <http://dewey.info/class/512.00285/e22/> ;
   schema:alternateName "Calculemus 2007" ;
   schema:alternateName "MKM 2007" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/203293223#Meeting/mkm_conference_6th_2007_hagenberg_im_muhlkreis_austria> ; # MKM (Conference) (6th : 2007 : Hagenberg im Mühlkreis, Austria)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/203293223#Person/kauers_manuel> ; # Manuel Kauers
   schema:copyrightYear "2007" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/203293223#Meeting/calculemus_symposium_14th_2007_hagenberg_im_muhlkreis_austria> ; # Calculemus (Symposium) (14th : 2007 : Hagenberg im Mühlkreis, Austria)
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/203293223> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/203293223#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:name "Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings"@en ;
   schema:productID "150414834" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/150414834#PublicationEvent/berlin_new_york_springer_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/203293223#Agent/springer> ; # Springer
   schema:url <http://mutex.gmu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4573> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4573> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-73086-6> ;
   schema:workExample <http://worldcat.org/isbn/9783540730835> ;
   umbel:isLike <http://d-nb.info/984276483> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/150414834> ;
    .


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/203293223#Meeting/calculemus_symposium_14th_2007_hagenberg_im_muhlkreis_austria> # Calculemus (Symposium) (14th : 2007 : Hagenberg im Mühlkreis, Austria)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/203293223#Place/hagenberg_im_muhlkreis_austria> ; # Hagenberg im Mühlkreis, Austria)
   schema:name "Calculemus (Symposium) (14th : 2007 : Hagenberg im Mühlkreis, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/203293223#Meeting/mkm_conference_6th_2007_hagenberg_im_muhlkreis_austria> # MKM (Conference) (6th : 2007 : Hagenberg im Mühlkreis, Austria)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/203293223#Place/hagenberg_im_muhlkreis_austria> ; # Hagenberg im Mühlkreis, Austria)
   schema:name "MKM (Conference) (6th : 2007 : Hagenberg im Mühlkreis, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/203293223#Person/kauers_manuel> # Manuel Kauers
    a schema:Person ;
   schema:familyName "Kauers" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Kauers" ;
    .

<http://experiment.worldcat.org/entity/work/data/203293223#Place/hagenberg_im_muhlkreis_austria> # Hagenberg im Mühlkreis, Austria)
    a schema:Place ;
   schema:name "Hagenberg im Mühlkreis, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/203293223#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/150414834> ; # Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012070> # Mathematical analysis--Data processing
    a schema:Intangible ;
   schema:name "Mathematical analysis--Data processing"@en ;
    .

<http://id.worldcat.org/fast/804890> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/988184> # Knowledge management
    a schema:Intangible ;
   schema:name "Knowledge management"@en ;
    .

<http://mutex.gmu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4573>
   rdfs:comment "Electronic resource available to Mason students, faculty, staff, and onsite patrons." ;
    .

<http://worldcat.org/isbn/9783540730835>
    a schema:ProductModel ;
   schema:isbn "3540730834" ;
   schema:isbn "9783540730835" ;
    .

<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/150414834> ; # Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/title/-/oclc/150414834>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/150414834> ; # Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
   schema:dateModified "2017-10-22" ;
   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.