skip to content
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium Preview this item
ClosePreview this item
Checking...

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium

Author: Manfred Kerber; Michael Kohlhase
Publisher: Natick, Mass. : A.K. Peters, ©2001.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

 

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: Online version:
CALCULEMUS-2000 Symposium (2000 : St. Andrews, Scotland).
Symbolic computation and automated reasoning.
Natick, Mass. : A.K. Peters, ©2001
(OCoLC)606545348
Online version:
CALCULEMUS-2000 Symposium (2000 : St. Andrews, Scotland).
Symbolic computation and automated reasoning.
Natick, Mass. : A.K. Peters, ©2001
(OCoLC)607776965
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Manfred Kerber; Michael Kohlhase
ISBN: 1568811454 9781568811451
OCLC Number: 45394021
Description: xi, 270 pages : illustrations ; 24 cm
Contents: Definite Integration of Parametric Rational Functions / Andrew A. Adams --
How to Find Symmetries Hidden in Combinatorial Problems / Noriko H. Arai and Ryuji Masukawa --
Communication Protocols for Mathematical Services / Alessandro Armando, Michael Kohlhase and Silvio Ranise --
Interfacing Computer Algebra and Deduction Systems / Alessandro Armando and Daniele Zini --
Development of the Theory of Continuous Lattices in Mizar / Grzegorz Bancerek --
[Omega]-Ants --
Combining Interactive and Automated Theorem Proving / Christoph Benzmuller and Volker Sorge --
The [actual symbol not reproducible] Project: A Progress Report / Bruno Buchberger, Claudio Dupre and Tudor Jebelean / [and others] --
How to Formally and Efficiently Prove Prime (2999) / Olga Caprotti and Martijn Oostdijk --
On the EA-Style Integrated Processing of Self-Contained Mathematical Texts / Anatoli I. Degtyarev, Alexander V. Lyaletski and Marina K. Morokhovets.
Responsibility: edited by Manfred Kerber and Michael Kohlhase.

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/45394021> # Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "45394021" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/34773771#Place/natick_mass> ; # Natick, Mass.
   schema:about <http://experiment.worldcat.org/entity/work/data/34773771#Topic/algebra_data_processing> ; # Algebra--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/34773771#Topic/computerwiskunde> ; # Computerwiskunde
   schema:about <http://experiment.worldcat.org/entity/work/data/34773771#Topic/algebra> ; # Algebra
   schema:about <http://dewey.info/class/512.0285/e21/> ;
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/34773771#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/34773771#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/2721665> ; # Michael Kohlhase
   schema:contributor <http://viaf.org/viaf/17474857> ; # Manfred Kerber
   schema:copyrightYear "2001" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/34773771#Meeting/calculemus_2000_symposium_2000_st_andrews_scotland> ; # CALCULEMUS-2000 Symposium (2000 : St. Andrews, Scotland)
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/34773771> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/606545348> ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/607776965> ;
   schema:name "Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium"@en ;
   schema:productID "45394021" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/45394021#PublicationEvent/natick_mass_a_k_peters_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/34773771#Agent/a_k_peters> ; # A.K. Peters
   schema:workExample <http://worldcat.org/isbn/9781568811451> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/45394021> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/34773771#Meeting/calculemus_2000_symposium_2000_st_andrews_scotland> # CALCULEMUS-2000 Symposium (2000 : St. Andrews, Scotland)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/34773771#Place/st_andrews_scotland> ; # St. Andrews, Scotland)
   schema:name "CALCULEMUS-2000 Symposium (2000 : St. Andrews, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/34773771#Place/st_andrews_scotland> # St. Andrews, Scotland)
    a schema:Place ;
   schema:name "St. Andrews, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/34773771#Topic/automatische_bewijsvoering> # Automatische bewijsvoering
    a schema:Intangible ;
   schema:name "Automatische bewijsvoering"@en ;
    .

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

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/17474857> # Manfred Kerber
    a schema:Person ;
   schema:birthDate "1956" ;
   schema:familyName "Kerber" ;
   schema:givenName "Manfred" ;
   schema:name "Manfred Kerber" ;
    .

<http://viaf.org/viaf/2721665> # Michael Kohlhase
    a schema:Person ;
   schema:birthDate "1964" ;
   schema:familyName "Kohlhase" ;
   schema:givenName "Michael" ;
   schema:name "Michael Kohlhase" ;
    .

<http://worldcat.org/isbn/9781568811451>
    a schema:ProductModel ;
   schema:isbn "1568811454" ;
   schema:isbn "9781568811451" ;
    .

<http://www.worldcat.org/oclc/606545348>
    a schema:CreativeWork ;
   rdfs:label "Symbolic computation and automated reasoning." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/45394021> ; # Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
    .

<http://www.worldcat.org/oclc/607776965>
    a schema:CreativeWork ;
   rdfs:label "Symbolic computation and automated reasoning." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/45394021> ; # Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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