|
Thue Equation
In mathematics, a Thue equation is a Diophantine equation of the form f(x,y) = r, where f is an irreducible bivariate form of degree at least 3 over the rational numbers, and r is a nonzero rational number. It is named after Axel Thue, who in 1909 proved that a Thue equation can have only finitely many solutions in integers x and y, a result known as Thue's theorem. The Thue equation is solvable effectively: there is an explicit bound on the solutions x, y of the form (C_1 r)^ where constants C_1 and C_2 depend only on the form f. A stronger result holds: if K is the field generated by the roots of f, then the equation has only finitely many solutions with x and y integers of K, and again these may be effectively determined. Finiteness of solutions and diophantine approximation Thue's original proof that the equation named in his honour has finitely many solutions is through the proof of what is now known as Thue's theorem: it asserts that for any algebraic number \alpha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Freeman Dyson
Freeman John Dyson (15 December 1923 – 28 February 2020) was a British-American theoretical physics, theoretical physicist and mathematician known for his works in quantum field theory, astrophysics, random matrix, random matrices, mathematical formulation of quantum mechanics, condensed matter physics, nuclear physics, and nuclear engineering, engineering. He was professor emeritus in the Institute for Advanced Study in Princeton, New Jersey, Princeton and a member of the board of sponsors of the ''Bulletin of the Atomic Scientists''. Dyson originated several concepts that bear his name, such as Dyson's transform, a fundamental technique in additive number theory, which he developed as part of his proof of Mann's theorem; the Dyson tree, a hypothetical genetic engineering, genetically engineered plant capable of growing in a comet; the Dyson series, a Perturbation theory (quantum mechanics), perturbative series where each term is represented by Feynman diagrams; the Dys ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cameron Leigh Stewart
Cameron Leigh Stewart FRSC is a Canadian mathematician. He is a professor of pure mathematics at the University of Waterloo. Contributions He has made numerous contributions to number theory, in particular to work on the ''abc'' conjecture. In 1976 he obtained, with Alan Baker, an effective improvement to Liouville's Theorem. In 1991 he proved that the number of solutions to a Thue equation f(x,y) = h is at most 2800(1 + 1/4\epsilon \deg f)(\deg f)^, where \epsilon is a pre-determined positive real number and \omega(g) is the number of distinct primes dividing a large divisor g of h. This improves on an earlier result of Enrico Bombieri and Wolfgang M. Schmidt and is close to the best possible result. In 1995 he obtained, along with Jaap Top, the existence of infinitely many quadratic, cubic, and sextic twists of elliptic curves of large rank. In 1991 and 2001 respectively, he obtained, along with Kunrui Yu, the best unconditional estimates for the abc conjecture. In 2013, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prime Factor
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways of writing it as a product, or , involve 5 itself. However, 4 is composite because it is a product (2 × 2) in which both numbers are smaller than 4. Primes are central in number theory because of the fundamental theorem of arithmetic: every natural number greater than 1 is either a prime itself or can be factorized as a product of primes that is unique up to their order. The property of being prime is called primality. A simple but slow method of checking the primality of a given number , called trial division, tests whether is a multiple of any integer between 2 and . Faster algorithms include the Miller–Rabin primality test, which is fast but has a small chance of error, and the AKS primality test, which always pro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current (2023) managing editors are Jean-Benoît Bost (University of Paris-Sud) and Wilhelm Schlag (Yale University Yale University is a Private university, private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the List of Colonial Colleges, third-oldest institution of higher education in the United Stat ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Academic journals established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wolfgang M
Wolfgang is a German male given name traditionally popular in Germany, Austria and Switzerland. The name is a combination of the Old High German words ''wolf'', meaning "wolf", and ''gang'', meaning "path", "journey", "travel". Besides the regular "wolf", the first element also occurs in Old High German as the combining form "-olf". The earliest reference of the name being used was in the 8th century. The name was also attested as "Vulfgang" in the in the 9th century. The earliest recorded famous bearer of the name was a tenth-century Saint Wolfgang of Regensburg. Due to the lack of conflict with the pagan reference in the name with Catholicism, it is likely a much more ancient name whose meaning had already been lost by the tenth century. Grimm ('' Teutonic Mythology'' p. 1093) interpreted the name as that of a hero in front of whom walks the "wolf of victory". A Latin gloss by Arnold of St Emmeram interprets the name as ''Lupambulus''.E. Förstemann, ''Altdeutsches Namen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Enrico Bombieri
Enrico Bombieri (born 26 November 1940) is an Italian mathematician, known for his work in analytic number theory, Diophantine geometry, complex analysis, and group theory. Bombieri is currently professor emeritus in the School of Mathematics at the Institute for Advanced Study in Princeton, New Jersey. Bombieri won the Fields Medal in 1974 for his work on the large sieve and its application to the distribution of prime numbers. Career Bombieri published his first mathematical paper in 1957, when he was 16 years old. In 1963, at age 22, he earned his first degree (Laurea) in mathematics from the Università degli Studi di Milano under the supervision of Giovanni Ricci and then studied at Trinity College, Cambridge, with Harold Davenport. Bombieri was an assistant professor (1963–1965) and then a full professor (1965–1966) at the Università di Cagliari, at the Università di Pisa in 1966–1974, and then at the Scuola Normale Superiore di Pisa in 1974–1977. From Pi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alan Baker (mathematician)
Alan Baker (19 August 1939 – 4 February 2018) was an English mathematician, known for his work on effective methods in number theory, in particular those arising from transcendental number theory. Life Alan Baker was born in London on 19 August 1939. He attended Stratford School, Stratford Grammar School, East London, and his academic career started as a student of Harold Davenport, at University College London and later at Trinity College, Cambridge, where he received his PhD. He was a visiting scholar at the Institute for Advanced Study in 1970 when he was awarded the Fields Medal at the age of 31. In 1974 he was appointed Professor of Pure Mathematics at Cambridge University, a position he held until 2006 when he became an Emeritus. He was a fellow of Trinity College from 1964 until his death. His interests were in number theory, Transcendental number theory, transcendence, linear forms in logarithms, Effective results in number theory, effective methods, Diophantine geom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maple (software)
Maple is a symbolic and numeric computing environment as well as a multi-paradigm programming language. It covers several areas of technical computing, such as symbolic mathematics, numerical analysis, data processing, visualization, and others. A toolbox, MapleSim, adds functionality for multidomain physical modeling and code generation. Maple's capacity for symbolic computing include those of a general-purpose computer algebra system. For instance, it can manipulate mathematical expressions and find symbolic solutions to certain problems, such as those arising from ordinary and partial differential equations. Maple is developed commercially by the Canadian software company Maplesoft. The name 'Maple' is a reference to the software's Canadian heritage. Overview Core functionality Users can enter mathematics in traditional mathematical notation. Custom user interfaces can also be created. There is support for numeric computations, to arbitrary precision, as well as symbo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematica
Wolfram (previously known as Mathematica and Wolfram Mathematica) is a software system with built-in libraries for several areas of technical computing that allows machine learning, statistics, symbolic computation, data manipulation, network analysis, time series analysis, NLP, optimization, plotting functions and various types of data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other programming languages. It was conceived by Stephen Wolfram, and is developed by Wolfram Research of Champaign, Illinois. The Wolfram Language is the programming language used in ''Mathematica''. Mathematica 1.0 was released on June 23, 1988 in Champaign, Illinois and Santa Clara, California. Mathematica's Wolfram Language is fundamentally based on Lisp; for example, the Mathematica command Most is identically equal to the Lisp command butlast. There is a substantial literature on the development of computer algebra systems (CAS). __TOC_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Magma (computer Algebra System)
Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics. It is named after the algebraic structure magma. It runs on Unix-like operating systems, as well as Windows. Introduction Magma is produced and distributed by thComputational Algebra Groupwithin the Sydney School of Mathematics and Statistics at the University of Sydney. In late 2006, the booDiscovering Mathematics with Magmawas published by Springer as volume 19 of the Algorithms and Computations in Mathematics series. The Magma system is used extensively within pure mathematics. The Computational Algebra Group maintain a list of publications that cite Magma, and as of 2010 there are about 2600 citations, mostly in pure mathematics, but also including papers from areas as diverse as economics and geophysics. History The predecessor of the Magma system was named Cayley (1982–1993), after Arthur Cayley. Magma was officially released in August 1993 (version 1.0 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
PARI/GP
PARI/GP is a computer algebra system with the main aim of facilitating number theory computations. Versions 2.1.0 and higher are distributed under the GNU General Public License. It runs on most common operating systems. System overview The PARI/GP system is a package that is capable of doing formal computations on recursive types at high speed; it is primarily aimed at number theorists. Its three main strengths are its speed, the possibility of directly using data types that are familiar to mathematicians, and its extensive algebraic number theory module. The PARI/GP system consists of the following standard components: * PARI is a C library, allowing for fast computations, and which can be called from a high-level language application (for instance, written in C, C++, Pascal, Fortran, Perl, or Python). * gp is an easy-to-use interactive command line interface giving access to the PARI functions. It functions as a sophisticated programmable calculator which contains mos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
