LEADER 04774nam 22007095 450 001 996466040103316 005 20200702093654.0 010 $a3-540-49533-9 024 7 $a10.1007/3-540-60156-2 035 $a(CKB)1000000000234311 035 $a(SSID)ssj0000324060 035 $a(PQKBManifestationID)11254244 035 $a(PQKBTitleCode)TC0000324060 035 $a(PQKBWorkID)10304639 035 $a(PQKB)11539804 035 $a(DE-He213)978-3-540-49533-8 035 $a(PPN)155172476 035 $a(EXLCZ)991000000000234311 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntegrating Symbolic Mathematical Computation and Artificial Intelligence$b[electronic resource] $eSecond International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers /$fedited by Jacques Calmet, John A. Campbell 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XI, 281 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v958 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60156-2 327 $aInteractive 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v958 606 $aComputers 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aNumerical analysis 606 $aCombinatorics 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aNumerical Analysis$3https://scigraph.springernature.com/ontologies/product-market-codes/M14050 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 615 0$aComputers. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aNumerical analysis. 615 0$aCombinatorics. 615 14$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aNumerical Analysis. 615 24$aCombinatorics. 676 $a006.3 702 $aCalmet$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCampbell$b John A$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAISMC-2 906 $aBOOK 912 $a996466040103316 996 $aIntegrating Symbolic Mathematical Computation and Artificial Intelligence$92829726 997 $aUNISA