You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to design and implementation issues of computer algebra, there were several software demonstrations and an opportunity for system designers to compare systems. This volume presents the proceedings of the conference. It contains 18 papers on a variety of design and implementation issues. One general theme which clearly emerges is the need for interconnections between systems, as no one systems incorporates all the facilities that users want. Various effortsare being made to design such links, but generally in limited contexts (suchas the Maple project or the Posso project).
This book provides a systematic and uniform presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, the book also covers the theory and techniques of resultants and Gröbner bases. The methods and their efficiency are illustrated by fully worked out examples and their applications to selected problems such as from polynomial ideal theory, automated theorem proving in geometry and the qualitative study of differential equations. The reader will find the formally described algorithms ready for immediate implementation and applicable to many other problems. Suitable as a graduate text, this book offers an indispensable reference for everyone interested in mathematical computation, computer algebra (software), and systems of algebraic equations.
This book series in the rapidly growing field of computational physics offers up-to-date (submitted to the publisher by electronic mail) reviews for the researcher.The first volume, written by authors from four continents, emphasizes statistical physics. For example, Ising problems are reviewed where theoretical approaches led to contradictory approaches and only quality computing answered who is right. In addition, fields as diverse as neural networks, granular materials, and computer algebra are reviewed.The next volume on percolation and other fields is already in preparation.
This is the third in a series of conferences devoted primarily to the theory and applications of artificial neural networks and genetic algorithms. The first such event was held in Innsbruck, Austria, in April 1993, the second in Ales, France, in April 1995. We are pleased to host the 1997 event in the mediaeval city of Norwich, England, and to carryon the fine tradition set by its predecessors of providing a relaxed and stimulating environment for both established and emerging researchers working in these and other, related fields. This series of conferences is unique in recognising the relation between the two main themes of artificial neural networks and genetic algorithms, each having it...
A collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. Topics include polyhedral geometry, elimination theory, algebraic surfaces, Gröbner bases, triangulations of point sets and the mutual relationship. This diversity is accompanied by the abundance of available software systems which often handle only special mathematical aspects. This is why the volume also focuses on solutions to the integration of mathematical software systems. This includes low-level and XML based high-level communication channels as well as general frameworks for modular systems.
Computer 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.
This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference.
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.
This book constitutes the refereed proceedings of the 4th International Workshop on Databases in Networked Information Systems, DNIS 2005, held in Aizu-Wakamatsu, Japan in March 2005. The 17 revised full papers presented together with 8 invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on information interchange and management systems, Web data management systems, networked information systems applications, and networked information systems implementations.
The first ICANNGA conference, devoted to biologically inspired computational paradigms, Neural Net works and Genetic Algorithms, was held in Innsbruck, Austria, in 1993. The meeting attracted researchers from all over Europe and further afield, who decided that this particular blend of topics should form a theme for a series of biennial conferences. The second meeting, held in Ales, France, in 1995, carried on the tradition set in Innsbruck of a relaxed and stimulating environment for the. exchange of ideas. The series has continued in Norwich, UK, in 1997, and Portoroz, Slovenia, in 1999. The Institute of Computer Science, Czech Academy of Sciences, is pleased to host the fifth conference in Prague. We have chosen the Liechtenstein palace under the Prague Castle as the conference site to enhance the traditionally good atmosphere of the meeting. There is an inspirational genius loci of the historical center of the city, where four hundred years ago a fruitful combination of theoretical and empirical method, through the collaboration of Johannes Kepler and Tycho de Brahe, led to the discovery of the laws of planetary orbits.