Related papers: Le calcul de Schubert selon Schubert
The Macaulay2 package NumericalSchubertCalculus provides methods for the numerical computation of Schubert problems on Grassmannians. It implements both the Pieri homotopy algorithm and the Littlewood-Richardson homotopy algorithm. Each…
We investigate the 2-dimensional jacobian conjecture via Klein's program.
We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture using a recursive formula for the Catalan numbers.
A method for computing integrals of polynomial functions on compact symmetric spaces is given. Those integrals are expressed as sums of functions on symmetric groups.
We deduce the Schaper formula for Hecke-algebras at root of unity from the Jantzen conjecture in the LLT-setup. This explains an observation due to R. Rouquier.
In this paper, we investigate some properties of several Sheffer sequences of several polynomials arising from umbral calculus. From our investigation, we can derive many interesting identities of several polynomials
The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The {\lambda}{\mu}{\mu}-calculus is a term assignment system for the sequent calculus and a great foundation for compiler…
Some time ago Wastlund reformulated the Basel problem in terms of a physical system using the proportionality of the apparent brightness of a star to the inverse square of its distance. Inspired by this approach, we give another physical…
The equable, Pythagorean and natural scales are built on the basis of a mathematical logic.
In this article we give an approach to define continuous functional calculus for bounded quaternionic normal operators defined on a right quaternionic Hilbert space.
Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. A purely numeric mechanism, like those proposed so far, cannot provide a…
We state some elementary problems concerning the relation between difference calculus and differential calculus, and we try to convince the reader that, in spite of the simplicity of the statements, a solution of these problems would be a…
Under a general structural equation framework for causal inference, we provide a definition of the causal effect of a variable X on another variable Y, and propose an approach to estimate this causal effect via the use of instrumental…
Using some new logarithmic formal calculus, we construct a well known vertex algebra, obtaining the Jacobi identity directly, in an essentially self-contained treatment.
Fechner's law and its modern generalizations can be regarded as manifestations of alternative forms of arithmetic, coexisting at stimulus and sensation levels. The world of sensations may be thus described by a generalization of the…
Formulas for calculating the Riesz function, introduced by Marcel Riesz in connection with the Riemann hypothesis, are derived; and the behavior of the Riesz function is discussed.
We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in the study of the wave equation.
We provide infinitely many solutions of a Dirichlet problem on balls.
We determine the precise conditions under which any skew Schur function is equal to a Schur function over both infinitely and finitely many variables.
We discuss tableaux for the Implicational Propositional Calculus and show how they may be used to establish its completeness.