Related papers: Stokes's theorem in R
The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one. In…
In this article, we propose a general theory of integration of the Riemann and Lebesgue types with respect to arbitrary measures and functions, connected by a continuous bilinear product, with values in abstract vector spaces endowed with a…
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…
1. Connection between integration and differentiation/ Gauss theorem. Coordinate-free definitions: gradient, divergence, curl. Stokes theorem. 2. Elements of continuum mechanics/ Continuity equation. Stress tensor. Euler equation.…
We compute the integral cohomology of certain semi-direct products arising from a linear G-action on the n-torus, where G is a finite group. The main application is the complete calculation of torsion gerbes for certain six dimensional…
In this article we introduce a framization of the Hecke algebra of type B. For this framization we construct a faithful tensorial representation and two linear bases. We finally construct a Markov trace on these algebras and from this trace…
The Fourier transform of the indicator function of arbitrary polygons and polyhedra is computed for complex wavevectors. Using the divergence theorem and Stokes' theorem, closed expressions are obtained. Apparent singularities, all…
There are many forecasting related packages in R with varied popularity, the most famous of all being \texttt{forecast}, which implements several important forecasting approaches, such as ARIMA, ETS, TBATS and others. However, the main…
This paper explores generalized slice monogenic functions by introducing their operator symbols, representation formula, and integral formula. The study extends the Teodorescu transform to a broader class of theorems and inferences,…
For general thinning procedures, its inverse operation, the condensing, is studied and a link to integration-by-parts formulas is established. This extends the recent results on that link for independent thinnings of point processes to…
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…
This paper deals with iteration stable (STIT) tessellations, and, more generally, with a certain class of tessellations that are infinitely divisible with respect to iteration. They form a new, rich and flexible class of spatio-temporal…
We introduce the R package \CRANpkg{SIHR} for statistical inference in high-dimensional generalized linear models with continuous and binary outcomes. The package provides functionalities for constructing confidence intervals and performing…
We introduce FunKit, a Mathematica package for the derivation and tracing of functional equations from arbitrary master equations. FunKit provides an expression vocabulary and a set of rules that allow for derivations in any given field…
A formula constituting the non-Abelian Stokes theorem for general semi-simple compact gauge groups is presented. The formula involves a path integral over a group space and is applicable to Wilson loop variables irrespective of the topology…
We present a new derivation of a boundary integral equation (BIE) for simulating the three-dimensional dynamics of arbitrarily-shaped rigid particles of genus zero immersed in a Stokes fluid, on which are prescribed forces and torques. Our…
We give a simple way to extend index-theoretical statements from partial differential operators with smooth coefficients to operators with coefficients of finite Sobolev order.
The physics community relies on index notation to effectively manipulate types of tensors. This paper introduces the first formally verified implementation of index notation in the interactive theorem prover Lean 4. By integrating index…
We present the basic concepts of tensor products of vector spaces, emphasizing linear algebraic and combinatorial techniques as needed for applied areas of research. The topics include (1) Introduction; (2) Basic multilinear algebra; (3)…
This paper gives the most general form of the Adler-Kostant-Symes Theorem, and many applications of it, both finite and infinite dimensional, the former yielding algebraic completely integrable (a.c.i.) systems, and the latter examples in…