相关论文: Le calcul de Schubert selon Schubert

We prove two lemmata about Schubert calculus on generalized flag manifolds G/B, and in the case of the ordinary flag manifold GL_n/B we interpret them combinatorially in terms of descents, and geometrically in terms of missing subspaces.…

Explicit general constructions of paragrassmann calculus with one and many variables are given. Relations of the paragrassmann calculus to quantum groups are outlined and possible physics applications are briefly discussed. This paper is…

We extend the diagrammatic calculus of syllogisms introduced in our previous paper to the general case of n-term syllogisms, showing that the valid ones are exactly those whose conclusion follows by calculation. Moreover, by pointing out…

We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of Baxter algebra. This characterization leads to a natural generalization of the umbral…

The main purpose of this paper is to show that the multiplication of a Schubert polynomial of finite type $A$ by a Schur function, which we refer to as Schubert vs. Schur problem, can be understood from the multiplication in the space of…

The main purpose of the present article is to give some new Hilbert's sum type inequalities, which in special cases yield the classical Hilbert's inequalities. Our results provide some new estimates to these types of inequalities.

The Jacobian algebras are introduced and their various properties are studied.

Following the ideas of von Helmholtz and Plomp-Levelt, an algorithm for calculating the total dissonance of complex sounds, free from logical inconsistencies and useful for comparing different chords, is proposed. The method is tested by…

In this paper, we extend the sequent calculus LKF into a calculus LK(T), allowing calls to a decision procedure. We prove cut-elimination of LK(T).

Using numerical, theoretical and general methods, we construct evaluation formulas for the Jacobi $\theta$ functions. Some of our results are conjectures, but are verified numerically.

Let $G$ be a Lie group with a maximal torus $T$. Combining Schubert calculus in the flag manifold $G/T$ with the Serre spectral sequence of the fibration $G\rightarrow G/T$, we construct the integral cohomology ring $H^{\ast}(G)$ uniformly…

The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue that such an approach may be actualized by a two-dimensional…

We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contraction. These structural rules introduce explicit erasure and…

We proove a Bloch's theorem in an almost complex projective plane.

We give two algorithms for computing the Hilbert depth of a \emph{graded ideal} in the polynomial ring. These algorithms work efficiently for (squarefree) lex ideals. As a consequence, we construct counterexamples to some conjectures made…

In this work, a generalization of the well known Bernoulli inequality is obtained by using the theory of discrete fractional calculus. As far as we know our approach is novel.

A description of the real, complete modules over the Clifford algebra of a Hilbert space, with the elements of the latter acting by skew-symmetric operators.

We give a simple direct proof of Fermat's two squares theorem. Our argument uses no intricate notions or ideas; one might say that it is a proof by careful bookkeeping. As such, the proof may be particularly easy to comprehend by students…

We establish an equivalent condition to the validity of the Collatz conjecture, using elementary methods. We derive some conclusions and show several examples of our results. We also offer a variety of exercises, problems and conjectures.

In problem solving, understanding the problem that one seeks to solve is an essential initial step. In this paper, we propose computational methods for facilitating problem understanding through the task of recognizing the unknown in…