You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book is the first of two proceedings volumes stemming from the International Conference and Workshop on Valuation Theory held at the University of Saskatchewan (Saskatoon, SK, Canada). Valuation theory arose in the early part of the twentieth century in connection with number theory and has many important applications to geometry and analysis: the classical application to the study of algebraic curves and to Dedekind and Prufer domains; the close connection to the famousresolution of the singularities problem; the study of the absolute Galois group of a field; the connection between ordering, valuations, and quadratic forms over a formally real field; the application to real algebraic geometry; the study of noncommutative rings; etc. The special feature of this book isits focus on current applications of valuation theory to this broad range of topics. Also included is a paper on the history of valuation theory. The book is suitable for graduate students and research mathematicians working in algebra, algebraic geometry, number theory, and mathematical logic.
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").
Contains the proceedings of the international conference "Ordered Algebraic Structures and Related Topics", held in October 2015, at CIRM, Luminy, Marseilles. Papers cover topics in real analytic geometry, real algebra, and real algebraic geometry including complexity issues, model theory of various algebraic and differential structures, Witt equivalence of fields, and the moment problem.
The authors study small disturbances to the periodic, plane Couette flow in the 3D incompressible Navier-Stokes equations at high Reynolds number Re. They prove that for sufficiently regular initial data of size $epsilon leq c_0mathbf {Re}^-1$ for some universal $c_0 > 0$, the solution is global, remains within $O(c_0)$ of the Couette flow in $L^2$, and returns to the Couette flow as $t rightarrow infty $. For times $t gtrsim mathbf {Re}^1/3$, the streamwise dependence is damped by a mixing-enhanced dissipation effect and the solution is rapidly attracted to the class of ``2.5 dimensional'' streamwise-independent solutions referred to as streaks.
View the abstract.
First, there are sets with minimal weak truth table degree which bound noncomputable computably enumerable sets under Turing reducibility. Second, no set with computable enumerable Turing degree can have minimal weak truth table degree. Third, no $Delta^0_2$ set which Turing bounds a promptly simple set can have minimal weak truth table degree.
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.
Voiculescu's notion of asymptotic free independence is known for a large class of random matrices including independent unitary invariant matrices. This notion is extended for independent random matrices invariant in law by conjugation by permutation matrices. This fact leads naturally to an extension of free probability, formalized under the notions of traffic probability. The author first establishes this construction for random matrices and then defines the traffic distribution of random matrices, which is richer than the $^*$-distribution of free probability. The knowledge of the individual traffic distributions of independent permutation invariant families of matrices is sufficient to c...
The authors develop in detail the theory of (almost) c-projective geometry, a natural analogue of projective differential geometry adapted to (almost) complex manifolds. The authors realise it as a type of parabolic geometry and describe the associated Cartan or tractor connection. A Kähler manifold gives rise to a c-projective structure and this is one of the primary motivations for its study. The existence of two or more Kähler metrics underlying a given c-projective structure has many ramifications, which the authors explore in depth. As a consequence of this analysis, they prove the Yano–Obata Conjecture for complete Kähler manifolds: if such a manifold admits a one parameter group of c-projective transformations that are not affine, then it is complex projective space, equipped with a multiple of the Fubini-Study metric.
This volume has been curated from two sources: presentations from the Conference on Rings and Polynomials, Technische Universität Graz, Graz, Austria, July 19 –24, 2021, and papers intended for presentation at the Fourth International Meeting on Integer-valued Polynomials and Related Topics, CIRM, Luminy, France, which was cancelled due to the pandemic. The collection ranges widely over the algebraic, number theoretic and topological aspects of rings, algebras and polynomials. Two areas of particular note are topological methods in ring theory, and integer valued polynomials. The book is dedicated to the memory of Paul-Jean Cahen, a coauthor or research collaborator with some of the conference participants and a friend to many of the others. This collection contains a memorial article about Paul-Jean Cahen, written by his longtime research collaborator and coauthor Jean-Luc Chabert.