English
Related papers

Related papers: Generalized Taylor formulae, computations in real …

200 papers

In this paper, a new approximate syllogistic reasoning schema is described that expands some of the approaches expounded in the literature into two ways: (i) a number of different types of quantifiers (logical, absolute, proportional,…

Artificial Intelligence · Computer Science 2014-11-27 M. Pereira-Fariña , Juan C. Vidal , F. Díaz-Hermida , A. Bugarín

The Lie algebra of planar vector fields with coefficients from the field of rational functions over an algebraically closed field of characteristic zero is considered. We find all finite-dimensional Lie algebras that can be realized as…

Rings and Algebras · Mathematics 2013-01-10 Ievgen Makedonskyi , Anatoliy Petravchuk

We describe a universal factorization for a functor with values in finite-dimensional measured algebras. More precisely we contruct the quantum automorphism group of this functor. This general recontruction result allows us to recapture a…

Quantum Algebra · Mathematics 2007-05-23 Julien Bichon

We characterize generalized derivatives of the solution operator of the obstacle problem. This precise characterization requires the usage of the theory of so-called capacitary measures and the associated solution operators of relaxed…

Optimization and Control · Mathematics 2018-06-14 Anne-Therese Rauls , Gerd Wachsmuth

The generalized vector is defined on an $n$ dimensional manifold. Interior product, Lie derivative acting on generalized $p$-forms, $-1\le p\le n$ are introduced. Generalized commutator of two generalized vectors are defined. Adding a…

Mathematical Physics · Physics 2007-05-23 Saikat Chatterjee , Amitabha Lahiri , Partha Guha

The aim of this paper is to design a theoretical framework that allows us to perform the computation of regular expression derivatives through a space of generic structures. Thanks to this formalism, the main properties of regular…

Formal Languages and Automata Theory · Computer Science 2019-02-20 Pascal Caron , Jean-Marc Champarnaud , Ludovic Mignot

We construct a vertex operator realization for the simple current primary fields of WZW theories which are based on simply laced affine Lie algebras g. This is achieved by employing an embedding of the integrable highest weight modules of g…

High Energy Physics - Theory · Physics 2009-10-30 J. Fuchs

Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by…

Logic · Mathematics 2018-09-25 Guillermo Badia , Andrew Tedder

The author in [7] was proved the generalized remainder and quotient theorems of polynomial in one indeterminate where the divisor is complete factorization to linear factors. In this paper we give the formula for the generalized remainder…

Numerical Analysis · Mathematics 2015-06-23 Wiwat Wanicharpichat

The usual Laurent expansion of the analytic tensors on the complex plane is generalized to any closed and orientable Riemann surface represented as an affine algebraic curve. As an application, the operator formalism for the $b-c$ systems…

High Energy Physics - Theory · Physics 2015-06-26 F. Ferrari , J. Sobczyk

The aim of this paper is to present an efficient numerical procedure to approximate the generalized Abel's integral equations of the first and second kinds. For this reason, the Taylor polynomials and the collocation method are applied.…

Numerical Analysis · Mathematics 2018-04-24 Eisa Zarei , Samad Noeiaghdam

We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every…

This is a survey of the use of Fourier analysis in additive combinatorics, with a particular focus on situations where it cannot be straightforwardly applied, but needs to be generalized first. Sometimes very satisfactory generalizations…

Combinatorics · Mathematics 2016-08-16 W. T. Gowers

Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most…

General Mathematics · Mathematics 2022-11-04 Christopher Thron

We present an algorithm producing all rational functions $f$ with prescribed $n+1$ Taylor coefficients at the origin and such that $\|f\|_\infty\le 1$ and $\deg f\le k$ for every fixed $k\ge n$. The case where $k<n$ is also discussed.

Classical Analysis and ODEs · Mathematics 2009-12-31 Vladimir Bolotnikov

We introduce the framework of general probabilistic theories (GPTs for short). GPTs are a class of operational theories that generalize both finite-dimensional classical and quantum theory, but they also include other, more exotic theories,…

Quantum Physics · Physics 2023-10-27 Martin Plávala

Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…

Classical Analysis and ODEs · Mathematics 2007-05-23 Margherita Barile , Fiorella Barone , Wlodzimierz M. Tulczyjew

We consider a class of generalized binomials emerging in fractional calculus. After establishing some general properties, we focus on a particular yet relevant case, for which we provide several ready-for-use combinatorial identities,…

Combinatorics · Mathematics 2020-10-13 Mirko D'Ovidio , Anna Chiara Lai , Paola Loreti

Homotopy Quantum Field Theories (HQFTs) generalize more familiar Topological Quantum Field Theories (TQFTs). In generalization of the surgery construction of 3-dimensional TQFTs from modular categories, we use surgery to derive…

Quantum Algebra · Mathematics 2013-03-07 Vladimir Turaev , Alexis Virelizier

We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in…

Logic in Computer Science · Computer Science 2025-05-01 Alexander Baumgartner , Temur Kutsia , Jordi Levy , Mateu Villaret