Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes PDF Author: Llorenc Huguet
Publisher: Springer Science & Business Media
ISBN: 9783540510826
Category : Computers
Languages : en
Pages : 428

Get Book Here

Book Description
The present volume contains the proceedings of the AAECC-5 Conference held at Menorca (Balearic Islands), June 15-19, 1987. The annual International AAECC Conference covers a range of topics related to Applied Algebra, Error-Correcting Codes, Finite Algebraic Structures, Computational Methods and Complexity in Algebra and Geometry. For the AAECC-5 Conference 73 papers were presented. Out of these thirty papers were selected for publication in the proceedings. They deal with topics such as error correcting codes (concerning problems of covering radius, decoding methods, expert systems and general results in coding theory), computational algebra, Gröbner basis, complexity, finite algebra and graphs. The proceedings of the 6th conference are published as Vol. 357 of the Lecture Notes in Computer Science.

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes PDF Author: Llorenc Huguet
Publisher: Springer Science & Business Media
ISBN: 9783540510826
Category : Computers
Languages : en
Pages : 428

Get Book Here

Book Description
The present volume contains the proceedings of the AAECC-5 Conference held at Menorca (Balearic Islands), June 15-19, 1987. The annual International AAECC Conference covers a range of topics related to Applied Algebra, Error-Correcting Codes, Finite Algebraic Structures, Computational Methods and Complexity in Algebra and Geometry. For the AAECC-5 Conference 73 papers were presented. Out of these thirty papers were selected for publication in the proceedings. They deal with topics such as error correcting codes (concerning problems of covering radius, decoding methods, expert systems and general results in coding theory), computational algebra, Gröbner basis, complexity, finite algebra and graphs. The proceedings of the 6th conference are published as Vol. 357 of the Lecture Notes in Computer Science.

Computer Algebra In Physical Research: Memorial Volume For N N Govorun - Proceedings Of The Iv International Conference

Computer Algebra In Physical Research: Memorial Volume For N N Govorun - Proceedings Of The Iv International Conference PDF Author: V A Rostovtsev
Publisher: #N/A
ISBN: 9814556092
Category :
Languages : en
Pages : 467

Get Book Here

Book Description
Professor Nicholas N Govorun, corresponding member of the USSR Academy of Sciences, was the principal organizer of the precedent meetings held at Dubna (1979, 1983, 1985). Unfortunately, he passed away in 1989. This volume is to honor his support in Computer Algebra.This is perhaps the only meeting of the entire soviet union computer algebra community and foreign scientists. The meeting presented scientific results, plans for research facilities, and status reports of the basic areas of investigations. The fields covered include computer algebra systems and general algorithms as well as applied algorithms, programs and results in computer algebra applications (mainly in physics).

Effective Polynomial Computation

Effective Polynomial Computation PDF Author: Richard Zippel
Publisher: Springer Science & Business Media
ISBN: 1461531888
Category : Computers
Languages : en
Pages : 364

Get Book Here

Book Description
Effective Polynomial Computation is an introduction to the algorithms of computer algebra. It discusses the basic algorithms for manipulating polynomials including factoring polynomials. These algorithms are discussed from both a theoretical and practical perspective. Those cases where theoretically optimal algorithms are inappropriate are discussed and the practical alternatives are explained. Effective Polynomial Computation provides much of the mathematical motivation of the algorithms discussed to help the reader appreciate the mathematical mechanisms underlying the algorithms, and so that the algorithms will not appear to be constructed out of whole cloth. Preparatory to the discussion of algorithms for polynomials, the first third of this book discusses related issues in elementary number theory. These results are either used in later algorithms (e.g. the discussion of lattices and Diophantine approximation), or analogs of the number theoretic algorithms are used for polynomial problems (e.g. Euclidean algorithm and p-adic numbers). Among the unique features of Effective Polynomial Computation is the detailed material on greatest common divisor and factoring algorithms for sparse multivariate polynomials. In addition, both deterministic and probabilistic algorithms for irreducibility testing of polynomials are discussed.

Elimination Methods

Elimination Methods PDF Author: D. Wang
Publisher: Springer Science & Business Media
ISBN: 3709162025
Category : Mathematics
Languages : en
Pages : 257

Get Book Here

Book Description
The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L. van der Waerden's elimination of the "elimination theory" chapter from from B. his classic Modern Algebra in later editions, A. Weil's hope to eliminate "from algebraic geometry the last traces of elimination theory," and S. Abhyankar's sug gestion to "eliminate the eliminators of elimination theory. " The renaissance and recognition of polynomial elimination owe much to the advent and advance of mod ern computing technology, based on which effective algorithms are implemented and applied to diverse problems in science and engineering. In the last decade, both theorists and practitioners have more and more realized the significance and power of elimination methods and their underlying theories. Active and extensive research has contributed a great deal of new developments on algorithms and soft ware tools to the subject, that have been widely acknowledged. Their applications have taken place from pure and applied mathematics to geometric modeling and robotics, and to artificial neural networks. This book provides a systematic and uniform treatment of elimination algo rithms that compute various zero decompositions for systems of multivariate poly nomials. The central concepts are triangular sets and systems of different kinds, in terms of which the decompositions are represented. The prerequisites for the concepts and algorithms are results from basic algebra and some knowledge of algorithmic mathematics.

Computer Algebra Handbook

Computer Algebra Handbook PDF Author: Johannes Grabmeier
Publisher: Springer Science & Business Media
ISBN: 3642558267
Category : Computers
Languages : en
Pages : 656

Get Book Here

Book Description
This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.

The LLL Algorithm

The LLL Algorithm PDF Author: Phong Q. Nguyen
Publisher: Springer Science & Business Media
ISBN: 3642022952
Category : Computers
Languages : en
Pages : 503

Get Book Here

Book Description
The first book to offer a comprehensive view of the LLL algorithm, this text surveys computational aspects of Euclidean lattices and their main applications. It includes many detailed motivations, explanations and examples.

Robotics in Alpe-Adria Region

Robotics in Alpe-Adria Region PDF Author: Peter Kopacek
Publisher: Springer Science & Business Media
ISBN: 370919346X
Category : Science
Languages : en
Pages : 242

Get Book Here

Book Description
Industrial robots as a kind of a mechatronic system were the objects for intensive scientific research in the last years. Kinematics and kinetics, advanced control algorithms, flexible robots, mobile robots, cooperation of robots were research topics. Meanwhile the industrial robot is more or less a tool on the shop floor level like NC- and CNC-machines, transportation and storage devices. The current research landscape on industrial robots can be divided in two directions. The first direction is the scientific one and topics like fuzzy control, applications of neuronal networks, application of methods of artificial intelligence for robot control, optimal path planning are currently headlines in this field. On the other hand the application oriented research goes in the direction to develop and create new low-cost concepts including industrial robots applicable in a commercially efficient way mainly in small and medium sized companies. The industry in most of the member countries of the Alpe-Adria Group are dominated by small and medium sized companies. Industrial robots together with the appropriate CIM-concepts are a very efficient tool for increasing the flexibility of such companies. At the first meeting in Portoroz (June 1992), a first overview on robotics research and applications in Alpe-Adria countries was given. First steps were done in the direction of a broader cooperation in science, development, production and level of education among these countries.

Effective Methods in Algebraic Geometry

Effective Methods in Algebraic Geometry PDF Author: T. Mora
Publisher: Springer Science & Business Media
ISBN: 1461204410
Category : Mathematics
Languages : en
Pages : 504

Get Book Here

Book Description
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").

Sorts and Types in Artificial Intelligence

Sorts and Types in Artificial Intelligence PDF Author: Ulrich Hedtstück
Publisher: Springer Science & Business Media
ISBN: 9783540523376
Category : Computers
Languages : en
Pages : 318

Get Book Here

Book Description
The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.

Gröbner Bases

Gröbner Bases PDF Author: Thomas Becker
Publisher: Springer Science & Business Media
ISBN: 1461209137
Category : Mathematics
Languages : en
Pages : 587

Get Book Here

Book Description
The origins of the mathematics in this book date back more than two thou sand years, as can be seen from the fact that one of the most important algorithms presented here bears the name of the Greek mathematician Eu clid. The word "algorithm" as well as the key word "algebra" in the title of this book come from the name and the work of the ninth-century scientist Mohammed ibn Musa al-Khowarizmi, who was born in what is now Uzbek istan and worked in Baghdad at the court of Harun al-Rashid's son. The word "algorithm" is actually a westernization of al-Khowarizmi's name, while "algebra" derives from "al-jabr," a term that appears in the title of his book Kitab al-jabr wa'l muqabala, where he discusses symbolic methods for the solution of equations. This close connection between algebra and al gorithms lasted roughly up to the beginning of this century; until then, the primary goal of algebra was the design of constructive methods for solving equations by means of symbolic transformations. During the second half of the nineteenth century, a new line of thought began to enter algebra from the realm of geometry, where it had been successful since Euclid's time, namely, the axiomatic method.