This book presents version 1.0 of the new Computer Algebra System OSCAR.Written in Julia, OSCAR builds on and vastly extends four cornerstone systems:ANTIC for number theory, GAP for group and representation theory, polymake for polyhedral and...Lasīt vairāk
This text presents a comprehensive and unified treatment of nonlinear filtering theory, with a strong emphasis on its mathematical underpinnings. It is tailored to meet the needs of a diverse readership, including mathematically inclined engineers an...Lasīt vairāk
This text presents a comprehensive and unified treatment of nonlinear filtering theory, with a strong emphasis on its mathematical underpinnings. It is tailored to meet the needs of a diverse readership, including mathematically inclined engineers an...Lasīt vairāk
Beginning with its origins in the pioneering work of W.T. Tutte in 1947, this monograph systematically traces through some of the impressive developments in matching theory. A graph is matchable if it has a perfect matching. A matching covered grap...Lasīt vairāk
Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics. This book is a comprehensive introduction to the theory of these functions wi...Lasīt vairāk
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 28-May-2022, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662652770)
This book introduces a new geometric vision of continued fractions. It covers several applications to questions related to such areas as Diophantine approximation, algebraic number theory, and toric geometry. The second edition now includes a geometr...Lasīt vairāk
This monograph provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic closures. It also covers important advanced topics which are not yet found in textbooks: the primitive normal...Lasīt vairāk
This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: formal calculus (through the theory of Grobner bases) and geometry (via quiver theory). Grobner bases serve as effective mod...Lasīt vairāk
This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: formal calculus (through the theory of Grobner bases) and geometry (via quiver theory). Grobner bases serve as effective mod...Lasīt vairāk
This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Grobner Cover, the most accurate algebraic method for discussing parametric polynomial systems. It also includes...Lasīt vairāk
This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Grobner Cover, the most accurate algebraic method for discussing parametric polynomial systems. It also includes...Lasīt vairāk
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 15-Aug-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642393686)
Traditionally a subject of number theory, continued fractions appear in dynamical systems, algebraic geometry, topology, and even celestial mechanics. The rise of computational geometry has resulted in renewed interest in multidimensional generalizat...Lasīt vairāk
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 29-Jun-2013, PDF+DRM, Izdevniecība: Springer Berlin Heidelberg, ISBN-13: 9783662038222)
From the reviews of the German edition:"e;Combinatorial optimization, along with graph algorithms and complexity theory is booming. This book treats the most prominent problems which are polynomially solvable. The Traveling Salesman Problem is di...Lasīt vairāk
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 17-Apr-2013, PDF+DRM, Izdevniecība: Springer Berlin Heidelberg, ISBN-13: 9783662051023)
The book is devoted to algorithmic low-dimensional topology. This branch of mathematics has recently been undergoing an intense development. On the one hand, the exponential advancement of computer technologies has made it possible to conduct sophist...Lasīt vairāk
David Eisenbud, Daniel R. Grayson, Mike Stillman, Bernd Sturmfels
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 14-Mar-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662048511)
Systems of polynomial equations arise throughout mathematics, science, and engineering. Algebraic geometry provides powerful theoretical techniques for studying the qualitative and quantitative features of their solution sets. Re- cently developed al...Lasīt vairāk
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 14-Mar-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662041796)
One of the most important and successful theories in computational complex- ity is that of NP-completeness. This discrete theory is based on the Turing machine model and achieves a classification of discrete computational prob- lems according to thei...Lasīt vairāk
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 09-Mar-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662101766)
Symbolic asymptotics has recently undergone considerable theoretical development, especially in areas where power series are no longer an appropriate tool. Implementation is beginning to follow.The present book, written by one of the leading speciali...Lasīt vairāk
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 09-Mar-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662038918)
In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited lecturers. (EIDMA is the Research School Euler Institute for Discrete Mathematics and...Lasīt vairāk
Sērija : Algorithms and Computation in Mathematics
(Izdošanas datums: 09-Mar-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662041123)
In recent years, new algorithms for dealing with rings of differential operators have been discovered and implemented. A main tool is the theory of Grobner bases, which is reexamined here from the point of view of geometric deformations. Perturbation...Lasīt vairāk
