| 书目名称 | Symbolic and Algebraic Computation | | 副标题 | International Sympos | | 编辑 | P. Gianni | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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. | | 出版日期 | Conference proceedings 1989 | | 关键词 | Automat; Symbol; algorithm; algorithms; computational geometry; computer; error-correcting code; programmin | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-51084-2 | | isbn_softcover | 978-3-540-51084-0 | | isbn_ebook | 978-3-540-46153-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1989 |
The information of publication is updating
|
|
发表于 2025-3-21 18:53:01
