Related papers: Schubert Calculus according to Schubert
In this note we shall give a new proof to a quadrature formulae due to Newton.
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…
The purpose of this article is threefold. First, it provides the reader with a few useful and efficient tools which should enable her/him to evaluate nontrivial determinants for the case such a determinant should appear in her/his research.…
We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…
We construct a model of the cubic connectedness locus.
Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness…
We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussion of the relation to other approaches.
This paper concerns the explicit treatment of substitutions in the lambda calculus. One of its contributions is the simplification and rationalization of the suspension calculus that embodies such a treatment. The earlier version of this…
The aim of this note is to describe how to compute the intersection multiplicity defined by Jean Pierre Serre.
Recently, in [18] the authors gave some results on the structure, capability and the Schur multiplier of generalized Heisenberg Lie superalgebra. In this work we try to extend these concepts to the case of generalized Heisenberg Lie…
This note computes a Gr\"obner basis for the ideal defining a union of Schubert varieties. More precisely, it computes a Gr\"obner basis for unions of schemes given by northwest rank conditions on the space of all matrices of a fixed size.…
The Jacobian algebras are introduced and their various properties are studied.
The Shapiro conjecture in the real Schubert calculus fails to hold for flag manifolds, but in a very interesting way. In this extended abstract, we give a refinement of that conjecture for the flag manifold and present massive…
We calculate using Macaulay 2 the multiplicities of the most singular point on Schubert varieties on Gl(n)/B for $n=5,6$. The method of computation is described and tables of the results are included.
The main classical result of Schubert calculus is that multiplication rules for the basis of Schubert cycles inside the cohomology ring of the Grassmannian $G(n,m)$ are the same as multiplication rules for the basis of Schur polynomials in…
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…
In this paper we describe a method of calculation of master integrals based on the solution of systems of difference equations in one variable. Various explicit examples are given, as well as the generalization to arbitrary diagrams.
Using calculus we show how to prove some combinatorial inequalities of the type log-concavity or log-convexity. It is shown by this method that binomial coefficients and Stirling numbers of the first and second kinds are log-concave, and…
We treat interpolation for various logics.
This very short paper presents a novel approach to Euler's formula without presupposing it. The paper reclaims the rightful place of the formula at the heart of calculus.