skip to content
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers Preview this item
ClosePreview this item
Checking...

Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers

Author: Jacques Calmet; J A Campbell
Publisher: Heidelberg : Springer-Verlag, ©1995.
Series: Lecture notes in computer science, 958.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
AISMC-2 (1994 : Cambridge, England).
Integrating symbolic mathematical computation and artificial intelligence.
Berlin ; New York : Springer-Verlag, ©1995
(DLC) 95024613
(OCoLC)32893775
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jacques Calmet; J A Campbell
ISBN: 9783540495338 3540495339
OCLC Number: 827359592
Description: 1 online resource.
Contents: Interactive theorem proving and computer algebra --
A practical algorithm for geometric theorem proving --
Combining theorem proving and symbolic mathematical computing --
Tools for solving problems in the scope of algebraic programming --
Planning a proof of the intermediate value theorem --
A general technique for automatically optimizing programs through the use of proof plans --
Datalog and TwoGroups and C++ --
Linear logic and real closed fields: A way to handle situations dynamically --
A proof environment for arithmetic with the omega rule --
Using commutativity properties for controlling coercions --
Theories = signatures + propositions used as types --
The ideal structure of Gröbner base computations --
Modeling cooperating agents scenarios by deductive planning methods and logical fiberings --
Propagation of mathematical constraints in subdefinite models --
Combining computer algebra and rule based reasoning --
Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory --
Subsymbolic processing using adaptive algorithms --
An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus --
Subdefinite computations and symbolic transformations in the uniCalc solver.
Series Title: Lecture notes in computer science, 958.
Responsibility: edited by Jacques Calmet, John A. Campbell.

Abstract:

This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.

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/827359592> # Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "827359592" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3855388949#Place/heidelberg> ; # Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/868961> ; # Combinatorial analysis
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/3855388949#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/3855388949#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://dewey.info/class/006.3/e20/> ;
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/1041273> ; # Numerical analysis
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/85190794> ; # Jacques Calmet
   schema:contributor <http://viaf.org/viaf/85160396> ; # J. A. Campbell
   schema:copyrightYear "1995" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3855388949#Meeting/aismc_conference_2nd_1994_cambridge_england> ; # AISMC (Conference) (2nd : 1994 : Cambridge, England)
   schema:datePublished "1995" ;
   schema:description "Interactive theorem proving and computer algebra -- A practical algorithm for geometric theorem proving -- Combining theorem proving and symbolic mathematical computing -- Tools for solving problems in the scope of algebraic programming -- Planning a proof of the intermediate value theorem -- A general technique for automatically optimizing programs through the use of proof plans -- Datalog and TwoGroups and C++ -- Linear logic and real closed fields: A way to handle situations dynamically -- A proof environment for arithmetic with the omega rule -- Using commutativity properties for controlling coercions -- Theories = signatures + propositions used as types -- The ideal structure of Gröbner base computations -- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings -- Propagation of mathematical constraints in subdefinite models -- Combining computer algebra and rule based reasoning -- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory -- Subsymbolic processing using adaptive algorithms -- An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus -- Subdefinite computations and symbolic transformations in the uniCalc solver."@en ;
   schema:description "This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3855388949> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/32893775> ;
   schema:name "Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers"@en ;
   schema:productID "827359592" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/827359592#PublicationEvent/heidelberg_springer_verlag_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3855388949#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://link.springer.com/10.1007/3-540-60156-2> ;
   schema:url <http://dx.doi.org/10.1007/3-540-60156-2> ;
   schema:workExample <http://worldcat.org/isbn/9783540495338> ;
   schema:workExample <http://dx.doi.org/10.1007/3-540-60156-2> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/827359592> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3855388949#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855388949#Meeting/aismc_conference_2nd_1994_cambridge_england> # AISMC (Conference) (2nd : 1994 : Cambridge, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3855388949#Place/cambridge_england> ; # Cambridge, England)
   schema:name "AISMC (Conference) (2nd : 1994 : Cambridge, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855388949#Place/cambridge_england> # Cambridge, England)
    a schema:Place ;
   schema:name "Cambridge, England)" ;
    .

<http://id.loc.gov/authorities/subjects/sh2007100982> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/1041273> # Numerical analysis
    a schema:Intangible ;
   schema:name "Numerical analysis"@en ;
    .

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

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/868961> # Combinatorial analysis
    a schema:Intangible ;
   schema:name "Combinatorial analysis"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/85160396> # J. A. Campbell
    a schema:Person ;
   schema:birthDate "1940" ;
   schema:familyName "Campbell" ;
   schema:givenName "J. A." ;
   schema:name "J. A. Campbell" ;
    .

<http://viaf.org/viaf/85190794> # Jacques Calmet
    a schema:Person ;
   schema:familyName "Calmet" ;
   schema:givenName "Jacques" ;
   schema:name "Jacques Calmet" ;
    .

<http://worldcat.org/isbn/9783540495338>
    a schema:ProductModel ;
   schema:isbn "3540495339" ;
   schema:isbn "9783540495338" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/827359592> ; # Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/oclc/32893775>
    a schema:CreativeWork ;
   rdfs:label "Integrating symbolic mathematical computation and artificial intelligence." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/827359592> ; # Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers
    .

<http://www.worldcat.org/title/-/oclc/827359592>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/827359592> ; # Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers
   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.