Min-plus Semiring
In idempotent analysis, the tropical semiring is a semiring of extended real numbers with the operations of minimum (or maximum) and addition replacing the usual ("classical") operations of addition and multiplication, respectively. The tropical semiring has various applications (see tropical analysis), and forms the basis of tropical geometry. The name ''tropical'' is a reference to the Hungarian-born computer scientist Imre Simon, so named because he lived and worked in Brazil. Definition The ' (or or ) is the semiring (ℝ ∪ , ⊕, ⊗), with the operations: : x \oplus y = \min\, : x \otimes y = x + y. The operations ⊕ and ⊗ are referred to as ''tropical addition'' and ''tropical multiplication'' respectively. The unit for ⊕ is +∞, and the unit for ⊗ is 0. Similarly, the ' (or or or ) is the semiring (ℝ ∪ , ⊕, ⊗), with operations: : x \oplus y = \max\, : x \otimes y = x + y. The unit for ⊕ is −∞, and the unit for ⊗ is 0. The two semirings are ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Idempotent Analysis
In mathematical analysis, idempotent analysis is the study of idempotent semirings, such as the tropical semiring In idempotent analysis, the tropical semiring is a semiring of extended real numbers with the operations of minimum (or maximum) and addition replacing the usual ("classical") operations of addition and multiplication, respectively. The tropical .... The lack of an additive inverse in the semiring is compensated somewhat by the idempotent rule A \oplus A = A. References * {{mathanalysis-stub ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Semiring
In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. The term rig is also used occasionally—this originated as a joke, suggesting that rigs are ri''n''gs without ''n''egative elements, similar to using '' rng'' to mean a r''i''ng without a multiplicative ''i''dentity. Tropical semirings are an active area of research, linking algebraic varieties with piecewise linear structures. Definition A semiring is a set R equipped with two binary operations \,+\, and \,\cdot,\, called addition and multiplication, such that:Lothaire (2005) p.211Sakarovitch (2009) pp.27–28 * (R, +) is a commutative monoid with identity element 0: ** (a + b) + c = a + (b + c) ** 0 + a = a = a + 0 ** a + b = b + a * (R, \,\cdot\,) is a monoid with identity element 1: ** (a \cdot b) \cdot c = a \cdot (b \cdot c) ** 1 \cdot a = a = a \cdot 1 * Multiplication left and right distributes over addition: * ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Puiseux Series
In mathematics, Puiseux series are a generalization of power series that allow for negative and fractional exponents of the indeterminate. For example, the series : \begin x^ &+ 2x^ + x^ + 2x^ + x^ + x^5 + \cdots\\ &=x^+ 2x^ + x^ + 2x^ + x^ + x^ + \cdots \end is a Puiseux series in the indeterminate . Puiseux series were first introduced by Isaac Newton in 1676 and rediscovered by Victor Puiseux in 1850.Puiseux (1850, 1851) The definition of a Puiseux series includes that the denominators of the exponents must be bounded. So, by reducing exponents to a common denominator , a Puiseux series becomes a Laurent series in a th root of the indeterminate. For example, the example above is a Laurent series in x^. Because a complex number has th roots, a convergent Puiseux series typically defines functions in a neighborhood of . Puiseux's theorem, sometimes also called the Newton–Puiseux theorem, asserts that, given a polynomial equation P(x,y)=0 with complex coefficient ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Formal Laurent Series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.). A formal power series is a special kind of formal series, whose terms are of the form a x^n where x^n is the nth power of a variable x (n is a non-negative integer), and a is called the coefficient. Hence, power series can be viewed as a generalization of polynomials, where the number of terms is allowed to be infinite, with no requirements of convergence. Thus, the series may no longer represent a function of its variable, merely a formal sequence of coefficients, in contrast to a power series, which defines a function by taking numerical values for the variable within a radius of convergence. In a formal power series, the x^n are used only as position-holders for the coefficients, so that the coefficient of x^5 is the fifth term ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
P-adic Valuation
In number theory, the valuation or -adic order of an integer is the exponent of the highest power of the prime number that divides . It is denoted \nu_p(n). Equivalently, \nu_p(n) is the exponent to which p appears in the prime factorization of n. The -adic valuation is a valuation and gives rise to an analogue of the usual absolute value. Whereas the completion of the rational numbers with respect to the usual absolute value results in the real numbers \mathbb, the completion of the rational numbers with respect to the p-adic absolute value results in the numbers \mathbb_p. Definition and properties Let be a prime number. Integers The -adic valuation of an integer n is defined to be : \nu_p(n)= \begin \mathrm\ & \text n \neq 0\\ \infty & \text n=0, \end where \mathbb denotes the set of natural numbers and m \mid n denotes divisibility of n by m. In particular, \nu_p is a function \nu_p \colon \mathbb \to \mathbb \cup\ . For example, \nu_2(-12) = 2, \nu_3(-12) = 1, and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Valued Field
Value or values may refer to: Ethics and social * Value (ethics) wherein said concept may be construed as treating actions themselves as abstract objects, associating value to them ** Values (Western philosophy) expands the notion of value beyond that of ethics, but limited to Western sources * Social imaginary is the set of values, institutions, laws, and symbols common to a particular social group Economics * Value (economics), a measure of the benefit that may be gained from goods or service ** Theory of value (economics), the study of the concept of economic value ** Value (marketing), the difference between a customer's evaluation of benefits and costs ** Value investing, an investment paradigm * Values (heritage), the measure by which the cultural significance of heritage items is assessed * Present value * Present value of benefits Business * Business value * Customer value proposition * Employee value proposition * Value (marketing) * Value proposition Other uses ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Valuation (algebra)
In algebra (in particular in algebraic geometry or algebraic number theory), a valuation is a function on a field that provides a measure of size or multiplicity of elements of the field. It generalizes to commutative algebra the notion of size inherent in consideration of the degree of a pole or multiplicity of a zero in complex analysis, the degree of divisibility of a number by a prime number in number theory, and the geometrical concept of contact between two algebraic or analytic varieties in algebraic geometry. A field with a valuation on it is called a valued field. Definition One starts with the following objects: *a field and its multiplicative group ''K''×, *an abelian totally ordered group . The ordering and group law on are extended to the set by the rules * for all ∈ , * for all ∈ . Then a valuation of is any map : which satisfies the following properties for all ''a'', ''b'' in ''K'': * if and only if , *, *, with equality if ''v''(''a'') ≠ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Associative Algebra
In mathematics, an associative algebra ''A'' is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field ''K''. The addition and multiplication operations together give ''A'' the structure of a ring; the addition and scalar multiplication operations together give ''A'' the structure of a vector space over ''K''. In this article we will also use the term ''K''-algebra to mean an associative algebra over the field ''K''. A standard first example of a ''K''-algebra is a ring of square matrices over a field ''K'', with the usual matrix multiplication. A commutative algebra is an associative algebra that has a commutative multiplication, or, equivalently, an associative algebra that is also a commutative ring. In this article associative algebras are assumed to have a multiplicative identity, denoted 1; they are sometimes called unital associative algebras for clarification. I ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Idempotence
Idempotence (, ) is the property of certain operations in mathematics and computer science whereby they can be applied multiple times without changing the result beyond the initial application. The concept of idempotence arises in a number of places in abstract algebra (in particular, in the theory of projectors and closure operators) and functional programming (in which it is connected to the property of referential transparency). The term was introduced by American mathematician Benjamin Peirce in 1870 in the context of elements of algebras that remain invariant when raised to a positive integer power, and literally means "(the quality of having) the same power", from + '' potence'' (same + power). Definition An element x of a set S equipped with a binary operator \cdot is said to be ''idempotent'' under \cdot if : . The ''binary operation'' \cdot is said to be ''idempotent'' if : . Examples * In the monoid (\mathbb, \times) of the natural numbers with multiplication, on ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Semiring
In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. The term rig is also used occasionally—this originated as a joke, suggesting that rigs are ri''n''gs without ''n''egative elements, similar to using '' rng'' to mean a r''i''ng without a multiplicative ''i''dentity. Tropical semirings are an active area of research, linking algebraic varieties with piecewise linear structures. Definition A semiring is a set R equipped with two binary operations \,+\, and \,\cdot,\, called addition and multiplication, such that:Lothaire (2005) p.211Sakarovitch (2009) pp.27–28 * (R, +) is a commutative monoid with identity element 0: ** (a + b) + c = a + (b + c) ** 0 + a = a = a + 0 ** a + b = b + a * (R, \,\cdot\,) is a monoid with identity element 1: ** (a \cdot b) \cdot c = a \cdot (b \cdot c) ** 1 \cdot a = a = a \cdot 1 * Multiplication left and right distributes over addition: * ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Imre Simon
Imre Simon (August 14, 1943 – August 13, 2009) was a Hungarian-born Brazilian mathematician and computer scientist. His research mainly focused on theoretical computer science, automata theory, and tropical mathematics, a subject he founded, and which was so named because he lived in Brazil. He was a professor of mathematics at the University of São Paulo in Brazil. He was also actively interested in questions of intellectual property and collaborative work, and was an enthusiastic advocate for open collaborative information systems, of which Wikipedia is an example. He received his Ph.D. at the University of Waterloo in 1972, under Janusz Brzozowski with the thesis: ''Hierarchies of Events with Dot-Depth One''. He died of lung cancer in São Paulo, Brazil Brazil ( pt, Brasil; ), officially the Federative Republic of Brazil (Portuguese: ), is the largest country in both South America and Latin America. At and with over 217 million people, Brazil is the world's ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |