Author: Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Proceedings of the ACM Symposium on Symbolic and Algebraic Computation ; 1981
Author: Proceedings of the ACM Symposium on Symbolic and Algebraic Computation (1981), Snowbird, Utah, 5-7 August 1981
Author: Paul S. WangPublisher:
ISBN:
Category :
Languages : en
Pages : 258
Book Description
SYMSAC '81 is the continuation of a well-established series of conferences sponsored or co-sponsored by ACM SIGSAM for the presentation of the latest advances in the field of symbolic and algebraic computation. The program consists of three invited talks, an invited banquet address, the presentation of thirty-nine submitted papers, two one-hour poster sessions, and demonstrations of various computer algebra systems. In addition, the Program Committee made a conscious effort to provide ample time and facilities for the informal exchange of ideas among the attendees.
SYMSAC '81
Author: Paul S. WangPublisher: Association for Computing Machinery (ACM)
ISBN:
Category : Computers
Languages : en
Pages : 270
Book Description
Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation
Author: Paul S. WangPublisher:
ISBN: 9780897910477
Category : Computer science
Languages : en
Pages : 249
Book Description
Proceedings
Author: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation
Author: Marc Moreno MazaPublisher:
ISBN: 9781450386883
Category : Computer science
Languages : en
Pages : 0
Book Description
Proceedings of the ACM Symposium on Symbolic and Algebraic Computation
Author: Symbolic and Algebraic Computation
Author: Patrizia GianniPublisher: Springer Science & Business Media
ISBN: 9783540510840
Category : Computers
Languages : en
Pages : 564
Book Description
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.
Issac '18
Author: ISSAC.Publisher:
ISBN: 9781450359573
Category :
Languages : en
Pages : 422
Book Description
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2018, to be held at the City University of New York, New York City, USA, is the 43rd meeting in this series. The series has been held annually since 1981. ISSAC is sponsored by the Association for Computing Machinery (ACM) and its Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM), and is generously supported by several other institutions and organizations, which are listed in the following pages. This year's meeting takes place from the 16th to the 19th of July 2018. The ISSAC meeting is a showcase for original research contributions on all aspects of computer algebra and symbolic mathematical computation, including: Algorithmic aspects Exact and symbolic linear, polynomial, and differential algebra Symbolic-numeric, homotopy, perturbation, and series methods Computational algebraic geometry, group theory, number theory, quantifier elimination, and logic Computer arithmetic Summation, recurrence equations, integration, and solution of ODEs and PDEs Symbolic methods in other areas of pure and applied mathematics Complexity of algebraic algorithms and algebraic complexity Software aspects Design of symbolic computation packages and systems Language design and type systems for symbolic computation Data representation Considerations for modern hardware Algorithm implementation and performance tuning Mathematical user interfaces Use with systems for, e.g., digital libraries, courseware, simulation and optimization, automated theorem-proving, computer-aided design, and automatic differentiation Application aspects Applications that stretch the current limits of computer algebra algorithms or systems, use computer algebra in new areas or new ways, or apply it in situations with broad impact The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations, and vendor exhibits, with its centerpiece being peer-reviewed research papers. The ISSAC program committee has adhered to the highest standards and practices in the evaluation of submitted papers, producing three or more referee reports per submission. All papers submitted iv to ISSAC were judged, and accepted or rejected, based solely on their scientific novelty, importance, non-triviality, and rigor. The program committee selected 47 papers for publication in these proceedings. We gratefully acknowledge the thorough and important work of the program committee members and external reviewers, whose names appear in the following pages, and thank all the authors of all the submitted papers, tutorials, and invited talks for their contributions.
Computer Algebra
Author: R. AlbrechtPublisher: Springer Science & Business Media
ISBN: 3709134064
Category : Computers
Languages : en
Pages : 282
Book Description
The journal Computing has established a series of supplement volumes the fourth of which appears this year. Its purpose is to provide a coherent presentation of a new topic in a single volume. The previous subjects were Computer Arithmetic 1977, Fundamentals of Numerical Computation 1980, and Parallel Processes and Related Automata 1981; the topic of this 1982 Supplementum to Computing is Computer Algebra. This subject, which emerged in the early nineteen sixties, has also been referred to as "symbolic and algebraic computation" or "formula manipulation". Algebraic algorithms have been receiving increasing interest as a result of the recognition of the central role of algorithms in computer science. They can be easily specified in a formal and rigorous way and provide solutions to problems known and studied for a long time. Whereas traditional algebra is concerned with constructive methods, computer algebra is furthermore interested in efficiency, in implementation, and in hardware and software aspects of the algorithms. It develops that in deciding effectiveness and determining efficiency of algebraic methods many other tools - recursion theory, logic, analysis and combinatorics, for example - are necessary. In the beginning of the use of computers for symbolic algebra it soon became apparent that the straightforward textbook methods were often very inefficient. Instead of turning to numerical approximation methods, computer algebra studies systematically the sources of the inefficiency and searches for alternative algebraic methods to improve or even replace the algorithms.