中文
相关论文

相关论文: Schubert Calculus according to Schubert

200 篇论文

A natural Hasse-Schmidt derivation on the exterior algebra of a free module realizes the (small quantum) cohomology ring of the grassmannian $G_k(\CC^n)$ as a ring of operators on the exterior algebra of a free module of rank $n$. Classical…

代数几何 · 数学 2007-05-23 Letterio Gatto

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…

人工智能 · 计算机科学 2013-04-15 Alan Bundy

We develop a method for calculating Riemann sums using Fourier analysis.

经典分析与常微分方程 · 数学 2015-03-13 Tristram de Piro

We give some methods for computing equations for certain Shimura curves, natural maps between them, and special points on them. We then illustrate these methods by working out several examples in varying degrees of detail. For instance, we…

数论 · 数学 2007-05-23 Noam D. Elkies

French translation, by Henri Lombardi and Stefan Neuwirth, of the article "Did Euclid need the Euclidean algorithm to prove unique factorization?", American Mathematical Monthly 113 (2006), pages 196-205.

数论 · 数学 2015-03-20 David Pengelley , Fred Richman

We apply a paraconsistent logic to reason about fractions.

计算机科学中的逻辑 · 计算机科学 2015-03-09 Jan A. Bergstra , Inge Bethke

We consider a functional calculus for compact operators, acting on the singular values rather than the spectrum, which appears frequently in applied mathematics. Necessary and sufficient conditions for this singular value functional…

泛函分析 · 数学 2016-11-14 Fredrik Andersson , Marcus Carlsson , Karl-Mikael Perfekt

A calcular algebra is a subalgebra of $H^\infty(\Omega)$ with norm given by $\| \phi \| = \sup \| \phi(T) \|$ as $T$ ranges over a given class of commutative $d$-tuples of operators with Taylor spectrum in $\O$. We discuss what algebras…

泛函分析 · 数学 2019-07-01 Jim Agler , John E. McCarthy , Nicholas J. Young

Explicit minimal generators for Fulton's Schubert determinantal ideals are determined along with some implications.

组合数学 · 数学 2023-11-30 Shiliang Gao , Alexander Yong

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.

综合数学 · 数学 2020-02-20 Chang-Jian Zhao , Wing Sum Cheung

Proof systems for the Relativized Propositional Calculus are defined and compared.

计算复杂性 · 计算机科学 2012-03-12 Stephen Cook

The equable, Pythagorean and natural scales are built on the basis of a mathematical logic.

历史与综述 · 数学 2018-02-19 Federico Talamucci

The Shapiro conjecture in the real Schubert calculus, while likely true for Grassmannians, fails to hold for flag manifolds, but in a very interesting way. We give a refinement of the Shapiro conjecture for the flag manifold and present…

代数几何 · 数学 2010-03-29 James Ruffo , Yuval Sivan , Evgenia Soprunova , Frank Sottile

We discuss tableaux for the Implicational Propositional Calculus and show how they may be used to establish its completeness.

逻辑 · 数学 2015-12-08 P. L. Robinson

We determine the precise conditions under which any skew Schur function is equal to a Schur function over both infinitely and finitely many variables.

组合数学 · 数学 2007-06-22 Stephanie van Willigenburg

In this paper, we study some properties of Euler polynomials arising from umbral calculus. Finally, we give some interesting identities of Euler polynomials using our results. Recently, Dere and Simsek have studied umbral calculus related…

数论 · 数学 2012-11-29 Dae San Kim , Taekyun Kim , Seog-Hoon Rim

A very simple closed-form formula for Sheppard's corrections is recovered by means of the classical umbral calculus. By means of this symbolic method, a more general closed-form formula for discrete parent distributions is provided and the…

统计理论 · 数学 2015-03-17 Elvira Di Nardo

This paper is a brief and informal presentation of cirquent calculus, a novel proof system for resource-conscious logics. As such, it is a refinement of sequent calculus with mechanisms that allow to explicitly account for the possibility…

计算机科学中的逻辑 · 计算机科学 2021-08-31 Giorgi Japaridze , Bikal Lamichhane

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.

量子代数 · 数学 2007-05-23 Steen Ryom-Hansen

One can hardly believe that there is still something to be said about cubic equations. To dodge this doubt, we will instead try and say something about Sylvester. He doubtless found a way of solving cubic equations. As mentioned by Rota, it…

历史与综述 · 数学 2022-02-28 William Y. C. Chen