International Symposium on Symbolic and Algebraic Computation, ISSAC 2000
Author :
Publisher :
Page : 352 pages
File Size : 42,74 MB
Release : 2001
Category :
ISBN :
Author :
Publisher :
Page : 352 pages
File Size : 42,74 MB
Release : 2001
Category :
ISBN :
Author : Carlo Traverso
Publisher :
Page : 309 pages
File Size : 19,52 MB
Release : 2000
Category : Algebra
ISBN :
Author : Patrizia Gianni
Publisher : Springer Science & Business Media
Page : 564 pages
File Size : 43,87 MB
Release : 1989-08-23
Category : Computers
ISBN : 9783540510840
The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.
Author :
Publisher :
Page : 312 pages
File Size : 38,39 MB
Release : 2002
Category : Algebra
ISBN :
Author : ISSAC.
Publisher :
Page : 0 pages
File Size : 38,84 MB
Release :
Category :
ISBN :
Author :
Publisher :
Page : 311 pages
File Size : 46,45 MB
Release : 1999
Category : Algebra
ISBN : 9781581130737
Author : Manuel Kauers
Publisher :
Page : 387 pages
File Size : 36,13 MB
Release : 2013
Category : Algebra
ISBN : 9781450320597
Author : John A. Campbell
Publisher : Springer
Page : 264 pages
File Size : 17,5 MB
Release : 2003-06-29
Category : Computers
ISBN : 3540449906
This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.
Author : Patrizia Gianni
Publisher : Springer
Page : 488 pages
File Size : 29,83 MB
Release : 1989-08-23
Category : Computers
ISBN : 9783540510840
The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.
Author : ISSAC.
Publisher :
Page : 352 pages
File Size : 34,10 MB
Release : 2001
Category :
ISBN : 9781581134179