English
Related papers

Related papers: Meadow based Fracterm Theory

200 papers

Rationals are known to form interesting and computationally rich structures, such as Farey sequences and infinite trees. Little attention is being paid to more general, systematic exposition of the basic properties of fractions as a set.…

Number Theory · Mathematics 2015-07-15 Boyko B. Bantchev

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…

Rings and Algebras · Mathematics 2009-01-08 J. A. Bergstra , Y. Hirshfeld , J. V. Tucker

Partial algebras and datatypes are discussed with the use of signatures that allow partial functions, and a three-valued short-circuit (sequential) first order logic with a Tarski semantics. The propositional part of this logic is also…

Logic in Computer Science · Computer Science 2026-05-14 Jan A. Bergstra , Alban Ponse

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…

Rings and Algebras · Mathematics 2016-06-08 J. A. Bergstra , C. A. Middelburg

We contemplate the notion of ambiguity in mathematical discourse. We consider a general method of resolving ambiguity and semantic options for sustaining a resolution. The general discussion is applied to the case of `fraction' which is…

Logic in Computer Science · Computer Science 2026-04-07 Jan A Bergstra , John V Tucker

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…

Rings and Algebras · Mathematics 2019-04-02 Jan A. Bergstra , Alban Ponse

It is wellknown that the ordinary calculus is inadequate to handle fractal structures and processes and another suitable calculus needs to be developed for this purpose. Recently it was realized that fractional calculus with suitable…

chao-dyn · Physics 2007-05-23 Kiran M. Kolwankar , Anil D. Gangal

In the present article, a new method for the evaluation of fractional derivatives of arbitrary real order is proposed. Numerous but inequivalent formulations have been given in the past. Some of them exhibit unsatisfactory properties such…

Functional Analysis · Mathematics 2021-05-04 Cyril Belardinelli

Fractional calculus is the calculus of differentiation and integration of non-integer orders. In a recently paper (Annals of Physics 323 (2008) 2756-2778), the Fundamental Theorem of Fractional Calculus is highlighted. Based on this…

Mathematical Physics · Physics 2009-10-30 Ming-Fan Li , Ji-Rong Ren , Tao Zhu

We introduce fractional flat space, described by a continuous geometry with constant non-integer Hausdorff and spectral dimensions. This is the analogue of Euclidean space, but with anomalous scaling and diffusion properties. The basic tool…

High Energy Physics - Theory · Physics 2013-01-22 Gianluca Calcagni

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to…

Logic in Computer Science · Computer Science 2016-08-10 Umair Siddique , Osman Hasan , Sofiène Tahar

Although in general there is no meaningful concept of factorization in fields, that in free associative algebras (over a commutative field) can be extended to their respective free field (universal field of fractions) on the level of…

Rings and Algebras · Mathematics 2020-07-15 Konrad Schrempf

Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…

Category Theory · Mathematics 2025-11-03 Suddhasattwa Das

Category theory provides a powerful tool to organize mathematics. A sample of this descriptive power is given by the categorical analysis of the practice of "classes as shorthands" in ZF set theory. In this case category theory provides a…

Logic · Mathematics 2012-12-14 Samuele Maschio

We introduce a natural definition for sums of the form \[ \sum_{\nu=1}^x f(\nu) \] when the number of terms x is a rather arbitrary real or even complex number. The resulting theory includes the known interpolation of the factorial by the…

Classical Analysis and ODEs · Mathematics 2010-03-29 Markus Mueller , Dierk Schleicher

Fractals equipped with intrinsic arithmetic lead to a natural definition of differentiation, integration and complex numbers. Applying the formalism to the problem of a Fourier transform on fractals we show that the resulting transform has…

Mathematical Physics · Physics 2016-07-26 Diederik Aerts , Marek Czachor , Maciej Kuna

We explore a novel link between two seemingly disparate mathematical concepts: Egyptian fractions and fractals. By examining the decomposition of rationals into sums of distinct unit fractions, a practice rooted in ancient Egyptian…

Number Theory · Mathematics 2024-12-16 Laura De Carli , Andrew Echezabal , Ismael Morell

A generalization of exterior calculus is considered by allowing the partial derivatives in the exterior derivative to assume fractional orders. That is, a fractional exterior derivative is defined. This is found to generate new vector…

Mathematical Physics · Physics 2009-11-10 Kathleen Cotrill-Shepherd , Mark Naber

Fractals are measurable metric sets with non-integer Hausdorff dimensions. If electric and magnetic fields are defined on fractal and do not exist outside of fractal in Euclidean space, then we can use the fractional generalization of the…

High Energy Physics - Theory · Physics 2015-03-11 Vasily E. Tarasov

The notion of 'bifurcating continued fractions' is introduced. Two coupled sequences of non-negative integers are obtained from an ordered pair of positive real numbers in a manner that generalizes the notion of continued fractions. These…

General Mathematics · Mathematics 2007-05-23 Ashok Kumar Gupta , Ashok Kumar Mittal
‹ Prev 1 2 3 10 Next ›