中文
相关论文

相关论文: Universality of Univariate Mixed Fractions in Divi…

200 篇论文

Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive…

环与代数 · 数学 2016-06-08 J. A. Bergstra , C. A. Middelburg

Common meadows are fields expanded with a total inverse function. Division by zero produces an additional value denoted with "a" that propagates through all operations of the meadow signature (this additional value can be interpreted as an…

环与代数 · 数学 2021-03-23 Jan A. Bergstra , Alban Ponse

Meadows - commutative rings equipped with a total inversion operation - can be axiomatized by purely equational means. We study subvarieties of the variety of meadows obtained by extending the equational theory and expanding the signature.

环与代数 · 数学 2017-12-05 Jan A. Bergstra , Inge Bethke

Meadows have been proposed as alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero…

环与代数 · 数学 2014-11-04 J. A. Bergstra , C. A. Middelburg

Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation whose value at 0 is 0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by…

环与代数 · 数学 2011-08-02 J. A. Bergstra , C. A. Middelburg

The rational, real and complex numbers with their standard operations, including division, are partial algebras specified by the axiomatic concept of a field. Since the class of fields cannot be defined by equations, the theory of…

环与代数 · 数学 2009-01-08 J. A. Bergstra , Y. Hirshfeld , J. V. Tucker

Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic properties of common meadows, which are meadows that introduce, as the inverse of…

环与代数 · 数学 2024-05-09 João Dias , Bruno Dinis

Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term…

环与代数 · 数学 2024-06-10 João Dias , Bruno Dinis

Fracterms are introduced as a proxy for fractions. A precise definition of fracterms is formulated and on that basis reasonably precise definitions of various classes of fracterms are given. In the context of the meadow of rational numbers…

历史与综述 · 数学 2019-06-07 Jan A. Bergstra

In the well-known construction of the field of fractions of an integral domain, division by zero is excluded. We introduce "fracpairs" as pairs subject to laws consistent with the use of the pair as a fraction, but do not exclude…

环与代数 · 数学 2019-04-02 Jan A. Bergstra , Alban Ponse

An inversive meadow is a commutative ring with identity equipped with a multiplicative inverse operation made total by choosing 0 as its value at 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an…

环与代数 · 数学 2010-11-03 J. A. Bergstra , C. A. Middelburg

We extend the maximal unitarity method to amplitude contributions whose cuts define multidimensional algebraic varieties. The technique is valid to all orders and is explicitly demonstrated at three loops in gauge theories with any number…

高能物理 - 理论 · 物理学 2014-06-20 Mads Sogaard , Yang Zhang

We examine the consequences of having a total division operation $\frac{x}{y}$ on commutative rings. We consider two forms of binary division, one derived from a unary inverse, the other defined directly as a general operation; each are…

计算机科学中的逻辑 · 计算机科学 2024-12-25 Jan A Bergstra , John V Tucker

An abstract theory of ultradifferentiable sheafs is developed. Moreover, various applications to the theory of linear partial differential equations, differential geometry and, in particular, CR geometry are discussed.

偏微分方程分析 · 数学 2026-03-13 Stefan Fürdös

A theoretical framework is developed to describe the transformation that distributes probability density functions uniformly over space. In one dimension, the cumulative distribution can be used, but does not generalize to higher…

神经与进化计算 · 计算机科学 2016-09-08 Eric Kee

Let Q_0 denote the rational numbers expanded to a "meadow", that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider "cancellation meadows", i.e., meadows without proper zero…

环与代数 · 数学 2013-05-23 Jan A. Bergstra , Inge Bethke , Alban Ponse

The derivative of a polynomial with all zeros on the unit circle has the zeros of its derivative on or inside the unit circle. It has been observed that in many cases the zeros of the derivative have a bimodal distribution: there are two…

复变函数 · 数学 2025-02-20 David W. Farmer

We survey results on factorizations of non zero-divisors into atoms (irreducible elements) in noncommutative rings. The point of view in this survey is motivated by the commutative theory of non-unique factorizations. Topics covered include…

环与代数 · 数学 2017-06-13 Daniel Smertnig

We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value $\bot$ whose main purpose is to always return a value for division. To rings…

计算机科学中的逻辑 · 计算机科学 2024-05-28 Jan A Bergstra , John V Tucker

Let Q_0 denote the rational numbers expanded to a meadow by totalizing inversion such that 0^{-1}=0. Q_0 can be expanded by a total sign function s that extracts the sign of a rational number. In this paper we discuss an extension Q_0(s…

计算机科学中的逻辑 · 计算机科学 2009-01-30 Jan A. Bergstra , I. Bethke
‹ 上一页 1 2 3 10 下一页 ›