Coverart for item
The Resource Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)

Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)

Label
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
Title
Integrating symbolic mathematical computation and artificial intelligence
Title remainder
Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
Statement of responsibility
Jacques Calmet, John A. Campbell (Eds.)
Creator
Contributor
Subject
Genre
Language
eng
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 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."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1994
http://bibfra.me/vocab/lite/meetingName
AISMC (Conference)
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1940-
http://library.link/vocab/relatedWorkOrContributorName
  • Calmet, Jacques
  • Campbell, J. A.
Series statement
Lecture notes in computer science
Series volume
958
http://library.link/vocab/subjectName
  • Computer science
  • Artificial intelligence
Label
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Interactive theorem proving and computer algebra / J. Ueberberg -- A practical algorithm for geometric theorem proving / A. Rege, J. Canny -- Combining theorem proving and symbolic mathematical computing / K. Homann, J. Calmet -- Tools for solving problems in the scope of algebraic programming / Y.V. Kapitonova ... [et al.] -- Planning a proof of the intermediate value theorem / M. Chippendale -- A general technique for automatically optimizing programs through the use of proof plans / P. Madden, I. Green -- Datalog and TwoGroups and C++ / G. Butler -- Linear logic and real closed fields : a way to handle situations dynamically / P. Jumpertz -- A proof environment for arithmetic with the omega rule / S. Baker, A. Smaill -- Using commutativity properties for controlling coercions / S.A. Missura, A. Weber -- Theories = signatures + propositions used as types / S.A. Missura -- The ideal structure of Gröbner base computations / S. Collart, D. Mall -- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings / J. Pfalzgraf, K. Stokkermans, U.C. Sigmund -- Propagation of mathematical constraints in subdefinite models / V. Telerman --Combining computer algebra and rule based reasoning / R. Bündgen -- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory / S. Tsumoto, H. Tanaka -- Subsymbolic processing using adaptive algorithms / D.J. Nettleton, R. Garigliano -- An interpretation of the propositional Boolean algebra as a k-algebra effective calculus / L.M. Laita ... [et al.] -- Subdefinite computations and symbolic transformations in the UniCalc solver / A. Semenov, A. Babichev, A. Leschenko
Control code
32893775
Dimensions
24 cm
Extent
x, 275 pages
Isbn
9783540601562
Isbn Type
(alk. paper)
Lccn
95024613
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)1682111
Label
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers, Jacques Calmet, John A. Campbell (Eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Interactive theorem proving and computer algebra / J. Ueberberg -- A practical algorithm for geometric theorem proving / A. Rege, J. Canny -- Combining theorem proving and symbolic mathematical computing / K. Homann, J. Calmet -- Tools for solving problems in the scope of algebraic programming / Y.V. Kapitonova ... [et al.] -- Planning a proof of the intermediate value theorem / M. Chippendale -- A general technique for automatically optimizing programs through the use of proof plans / P. Madden, I. Green -- Datalog and TwoGroups and C++ / G. Butler -- Linear logic and real closed fields : a way to handle situations dynamically / P. Jumpertz -- A proof environment for arithmetic with the omega rule / S. Baker, A. Smaill -- Using commutativity properties for controlling coercions / S.A. Missura, A. Weber -- Theories = signatures + propositions used as types / S.A. Missura -- The ideal structure of Gröbner base computations / S. Collart, D. Mall -- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings / J. Pfalzgraf, K. Stokkermans, U.C. Sigmund -- Propagation of mathematical constraints in subdefinite models / V. Telerman --Combining computer algebra and rule based reasoning / R. Bündgen -- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory / S. Tsumoto, H. Tanaka -- Subsymbolic processing using adaptive algorithms / D.J. Nettleton, R. Garigliano -- An interpretation of the propositional Boolean algebra as a k-algebra effective calculus / L.M. Laita ... [et al.] -- Subdefinite computations and symbolic transformations in the UniCalc solver / A. Semenov, A. Babichev, A. Leschenko
Control code
32893775
Dimensions
24 cm
Extent
x, 275 pages
Isbn
9783540601562
Isbn Type
(alk. paper)
Lccn
95024613
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)1682111

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...