You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The present volume contains a selection of refereed papers from the MEGA-94 symposium held in Santander, Spain, in April 1994. They cover recent developments in the theory and practice of computation in algebraic geometry and present new applications in science and engineering, particularly computer vision and theory of robotics. The volume will be of interest to researchers working in the areas of computer algebra and symbolic computation as well as to mathematicians and computer scientists interested in gaining access to these topics.
Algorithmic and quantitative aspects in real algebraic geometry are becoming increasingly important areas of research because of their roles in other areas of mathematics and computer science. The papers in this volume collectively span several different areas of current research. The articles are based on talks given at the DIMACS Workshop on ``Algorithmic and Quantitative Aspects of Real Algebraic Geometry''. Topics include deciding basic algebraic properties of real semi-algebraic sets, application of quantitative results in real algebraic geometry towards investigating the computational complexity of various problems, algorithmic and quantitative questions in real enumerative geometry, new approaches towards solving decision problems in semi-algebraic geometry, as well as computing algebraic certificates, and applications of real algebraic geometry to concrete problems arising in robotics and computer graphics. The book is intended for researchers interested in computational methods in algebra.
This book presents the basic concepts and algorithms of computer algebra using practical examples that illustrate their actual use in symbolic computation. A wide range of topics are presented, including: Groebner bases, real algebraic geometry, lie algebras, factorization of polynomials, integer programming, permutation groups, differential equations, coding theory, automatic theorem proving, and polyhedral geometry. This book is a must read for anyone working in the area of computer algebra, symbolic computation, and computer science.
Greece offers excellent infrastructures for hosting international conferences, and this was a reason for us to choose the city of Kalamata, Greece, as the location for CASC 2005, the eighth conference in the sequence of CASC conferences.
Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011. The five volumes contain papers presenting a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in virtually all sciences making use of computational techniques. The topics of the fully refereed papers are structured according to the five major conference themes: geographical analysis, urban modeling, spatial statistics; cities, technologies and planning; computational geometry and applications; computer aided modeling, simulation, and analysis; and mobile communications.
The symposium "MEGA-90 - Effective Methods in Algebraic Geome try" was held in Castiglioncello (Livorno, Italy) in April 17-211990. The themes - we quote from the "Call for papers" - were the fol lowing: - Effective methods and complexity issues in commutative algebra, pro jective geometry, real geometry, algebraic number theory - Algebraic geometric methods in algebraic computing Contributions in related fields (computational aspects of group theory, differential algebra and geometry, algebraic and differential topology, etc.) were also welcome. The origin and the motivation of such a meeting, that is supposed to be the first of a series, deserves to be explained. The subject - the theory and the practice of computation in alge braic geometry and related domains from the mathematical viewpoin- has been one of the themes of the symposia organized by SIGSAM (the Special Interest Group for Symbolic and Algebraic Manipulation of the Association for Computing Machinery), SAME (Symbolic and Algebraic Manipulation in Europe), and AAECC (the semantics of the name is vary ing; an average meaning is "Applied Algebra and Error Correcting Codes").
This volume presents the proceedings from the research conference, Symbolic Computation: Solving Equations in Algebra, Analysis, and Engineering, held at Mount Holyoke College, USA. It provides an overview of contemporary research in symbolic computation as it applies to the solution of polynomial systems. The conference brought together pure and applied mathematicians, computer scientists, and engineers, who use symbolic computation to solve systems of equations or who develop the theoretical background and tools needed for this purpose. Within this general framework, the conference focused on several themes: systems of polynomials, systems of differential equations, noncommutative systems, and applications.
This volume contains 16 carefully refereed articles by participants in the Special Semester and the AMS Special Session on Real Algebraic Geometry and Ordered Structures held at Louisiana State University and Southern University (Baton Rouge). The 23 contributors to this volume were among the 75 mathematicians from 15 countries who participated in the special semester. Topics include the topology of real algebraic curves (Hilbert's 16th problem), moduli of real algebraic curves, effective sums of squares of real forms (Hilbert's 17th problem), efficient real quantifier elimination, subanalytic sets and stratifications, semialgebraic singularity theory, radial vector fields, exponential funct...
The aim of the series is to present new and important developments in pure and applied mathematics. Well established in the community over two decades, it offers a large library of mathematics including several important classics. The volumes supply thorough and detailed expositions of the methods and ideas essential to the topics in question. In addition, they convey their relationships to other parts of mathematics. The series is addressed to advanced readers wishing to thoroughly study the topic. Editorial Board Lev Birbrair, Universidade Federal do Ceará, Fortaleza, Brasil Victor P. Maslov, Russian Academy of Sciences, Moscow, Russia Walter D. Neumann, Columbia University, New York, USA Markus J. Pflaum, University of Colorado, Boulder, USA Dierk Schleicher, Jacobs University, Bremen, Germany