Research Catalog

Title

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.

Author

AISMC-2 (1994 : Cambridge, England)

Publication

Berlin ; New York : Springer-Verlag, ©1995.

Items in the Library & Off-site

Details

Additional Authors

• Calmet, Jacques.
• Campbell, J. A., 1940-

Description

x, 275 pages : illustrations; 24 cm

Series Statement

Lecture notes in computer science ; 958

Uniform Title

Lecture notes in computer science ; 958.

Subject

• Computer science > Mathematics > Congresses
• Artificial intelligence > Congresses
• Artificial intelligence
• Computer science > Mathematics
• Symbolische logica
• Computerwiskunde
• Computeralgebra
• Künstliche Intelligenz
• Kongress
• Inteligencia Artificial (Computacao)
• Informatique > Mathématiques > Congrès
• Intelligence artificielle > Congrès

Genre/Form

• Conference papers and proceedings.
• Cambridge (1994)

Bibliography (note)

• Includes bibliographical references.

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 [and others] -- 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 [and others] -- Subdefinite computations and symbolic transformations in the UniCalc solver / A. Semenov, A. Babichev, A. Leschenko.

ISBN

• 3540601562
• 9783540601562

LCCN

95024613

OCLC

• ocm32893775
• 32893775
• SCSB-2062610

Owning Institutions

Princeton University Library