Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation
Author: Bruce W. Char
Publisher: Association for Computing Machinery (ACM)
Published: 1986
Total Pages: 272
ISBN-13:
DOWNLOAD EBOOKPosts
Symbolic and Algebraic Computation
Author: Patrizia Gianni
Publisher: Springer Science & Business Media
Published: 1989-08-23
Total Pages: 564
ISBN-13: 9783540510840
DOWNLOAD EBOOKThe 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.
Proceedings of the SIGPLAN Symposium on Compiler Construction, 1986
Author:
Publisher: Association for Computing Machinery (ACM)
Published: 1986
Total Pages: 732
ISBN-13:
DOWNLOAD EBOOKApplied Algebra, Algebraic Algorithms, and Error-correcting Codes
Author: Teo Mora
Publisher: Springer Science & Business Media
Published: 1989-05-23
Total Pages: 496
ISBN-13: 9783540510833
DOWNLOAD EBOOKIn 1988, for the first time, the two international conferences AAECC-6 and ISSAC'88 (International Symposium on Symbolic and Algebraic Computation, see Lecture Notes in Computer Science 358) have taken place as a Joint Conference in Rome, July 4-8, 1988. The topics of the two conferences are in fact widely related to each other and the Joint Conference presented a good occasion for the two research communities to meet and share scientific experiences and results. The proceedings of the AAECC-6 are included in this volume. The main topics are: Applied Algebra, Theory and Application of Error-Correcting Codes, Cryptography, Complexity, Algebra Based Methods and Applications in Symbolic Computing and Computer Algebra, and Algebraic Methods and Applications for Advanced Information Processing. Twelve invited papers on subjects of common interest for the two conferences are divided between this volume and the succeeding Lecture Notes volume devoted to ISSACC'88. The proceedings of the 5th conference are published as Vol. 356 of the Lecture Notes in Computer Science.
Advances in the Design of Symbolic Computation Systems
Author: Alfonso Miola
Publisher: Springer Science & Business Media
Published: 1997-03-27
Total Pages: 280
ISBN-13: 9783211828441
DOWNLOAD EBOOKConsiders methodological aspects related to design and implementation of symbolic computation systems. This volume describes the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues.
Geospatial Algebraic Computations
Author: Joseph Awange
Publisher: Springer
Published: 2016-01-29
Total Pages: 548
ISBN-13: 3319254650
DOWNLOAD EBOOKImproved geospatial instrumentation and technology such as in laser scanning has now resulted in millions of data being collected, e.g., point clouds. It is in realization that such huge amount of data requires efficient and robust mathematical solutions that this third edition of the book extends the second edition by introducing three new chapters: Robust parameter estimation, Multiobjective optimization and Symbolic regression. Furthermore, the linear homotopy chapter is expanded to include nonlinear homotopy. These disciplines are discussed first in the theoretical part of the book before illustrating their geospatial applications in the applications chapters where numerous numerical examples are presented. The renewed electronic supplement contains these new theoretical and practical topics, with the corresponding Mathematica statements and functions supporting their computations introduced and applied. This third edition is renamed in light of these technological advancements.
Modern Computer Algebra
Author: Joachim von zur Gathen
Publisher: Cambridge University Press
Published: 2013-04-25
Total Pages: 811
ISBN-13: 1107245257
DOWNLOAD EBOOKComputer algebra systems are now ubiquitous in all areas of science and engineering. This highly successful textbook, widely regarded as the 'bible of computer algebra', gives a thorough introduction to the algorithmic basis of the mathematical engine in computer algebra systems. Designed to accompany one- or two-semester courses for advanced undergraduate or graduate students in computer science or mathematics, its comprehensiveness and reliability has also made it an essential reference for professionals in the area. Special features include: detailed study of algorithms including time analysis; implementation reports on several topics; complete proofs of the mathematical underpinnings; and a wide variety of applications (among others, in chemistry, coding theory, cryptography, computational logic, and the design of calendars and musical scales). A great deal of historical information and illustration enlivens the text. In this third edition, errors have been corrected and much of the Fast Euclidean Algorithm chapter has been renovated.
Program of the Ninth Annual Conference of the Cognitive Science Society
Author: Cognitive Science Society (U.S.). Conference
Publisher: Psychology Press
Published: 1987
Total Pages: 1028
ISBN-13: 9780805801668
DOWNLOAD EBOOKFirst Published in 1987. Routledge is an imprint of Taylor & Francis, an informa company.
EUROCAL '87
Author: James H. Davenport
Publisher: Springer Science & Business Media
Published: 1989-08-09
Total Pages: 516
ISBN-13: 9783540515173
DOWNLOAD EBOOKThis is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer Science. They contain original research material not published elsewhere, and a few invited lectures summarising the state of the art. Computer algebra is the science of using computers to do algebraic calculations, rather than the purely arithmetic calculations which we all know computers can do. These calculations may be polynomial-like calculations - one thread of the conference was devoted to polynomial algorithms - or may relate to other areas of mathematics such as integration, the solution of differential equations, or geometry - a second thread was devoted to those topics. The calculations can be applied in a wide range of scientific and engineering subjects, and in branches of mathematics. Physics has benefitted especially from these calculations, and the proceedings contain many papers on this, and also papers on applications in computer aided design and robotics, to name but a few other applications. The third thread of the proceedings was devoted to these applications and to the computer algebra systems which perform these calculations.
Computerized Symbolic Manipulation in Mechanics
Author: Edwin Kreuzer
Publisher: Springer
Published: 2014-05-04
Total Pages: 265
ISBN-13: 3709130107
DOWNLOAD EBOOKThe aim of this book is to present important software tools, basic concepts, methods, and highly sophisticated applications of computerized symbolic manipulation to mechanics problems. An overview about general-purpose symbolic software is followed by general guidelines how to develop and implement high-quality computer algebra code. The theoretical background including modeling techniques for mechanical systems is provided which allows for the computer aided generation of the symbolic equation of motion for multibody systems. It is shown how the governing equations for different types of problems in structural mechanics can be automatically derived and how to implement finite element techniques via computer algebra software. Perturbation methods as a very powerful approach for nonlinear problems are discussed in detail and are demonstrated for a number of applications. The applications covered in this book represent some of the most advanced topics in the rapidly growing field of research on symbolic computation.
