Results 1  10
of
148
A direct algorithm for type inference in the rank2 fragment of the secondorder λcalculus
, 1993
"... We study the problem of type inference for a family of polymorphic type disciplines containing the power of CoreML. This family comprises all levels of the stratification of the secondorder lambdacalculus by "rank" of types. We show that typability is an undecidable problem at every ran ..."
Abstract

Cited by 82 (14 self)
 Add to MetaCart
We study the problem of type inference for a family of polymorphic type disciplines containing the power of CoreML. This family comprises all levels of the stratification of the secondorder lambdacalculus by "rank" of types. We show that typability is an undecidable problem at every
Variational calculus with sums of elementary tensors of fixed rank
 Numer. Math
"... In this article we introduce a calculus of variations for sums of elementary tensors and apply it to functionals of practical interest. The survey provides all necessary ingredients for applying minimization methods in a general setting. The important cases of target functionals which are linear ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
In this article we introduce a calculus of variations for sums of elementary tensors and apply it to functionals of practical interest. The survey provides all necessary ingredients for applying minimization methods in a general setting. The important cases of target functionals which are linear
FRANZ HUBER The Consistency Argument for Ranking Functions
"... Abstract. The paper provides an argument for the thesis that an agent’s degrees of disbelief should obey the ranking calculus. This Consistency Argument is based on the Consistency Theorem, which says that an entrenchment function gives rise to consistent and deductively closed beliefs iff it satisf ..."
Abstract
 Add to MetaCart
Abstract. The paper provides an argument for the thesis that an agent’s degrees of disbelief should obey the ranking calculus. This Consistency Argument is based on the Consistency Theorem, which says that an entrenchment function gives rise to consistent and deductively closed beliefs iff
Stability inequalities and universal Schubert calculus of rank 2
, 2011
"... The goal of the paper is to introduce a version of Schubert calculus for each dihedral reflection group W. That is, to each “sufficiently rich ” spherical building Y of type W we associate a certain cohomology theory H ∗ BK (Y) and verify that, first, it depends only on W (i.e., all such buildings a ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
The goal of the paper is to introduce a version of Schubert calculus for each dihedral reflection group W. That is, to each “sufficiently rich ” spherical building Y of type W we associate a certain cohomology theory H ∗ BK (Y) and verify that, first, it depends only on W (i.e., all such buildings
Differential Calculus:
"... Review: function; limit of a function; continuity and differentiability of functions; successive differentiation; physical applications of first and second order derivatives; Leibnitz‟s theorem; expansion of functions; Rolle‟s theorem; mean value theorem; Taylor‟s theorem and Maclaurins theorem (p ..."
Abstract
 Add to MetaCart
(proof not required); maxima and minima for functions of one and two variables; functions of several variables; partial differentiation; tangent; normal and curvature. Integral Calculus: Review of indefinite integrals; definite integrals; properties of definite integrals; gamma and beta functions
Franz Huber The Consistency Argument for Ranking Functions
"... Abstract. The paper provides an argument for the thesis that an agent's degrees of disbelief should obey the ranking calculus. This Consistency Argument is based on the Consistency Theorem. The latter says that an agent's belief set is and will always be consistent and deductively closed i ..."
Abstract
 Add to MetaCart
Abstract. The paper provides an argument for the thesis that an agent's degrees of disbelief should obey the ranking calculus. This Consistency Argument is based on the Consistency Theorem. The latter says that an agent's belief set is and will always be consistent and deductively closed
ON RANK EQUIVALENCE AND RANK PRESERVING OPERATORS
"... Abstract. In the paper [6] A. Marková proved theorem on rank equivalence operators. This theorem is true, but the proof is wrong. In this paper new, correct proof of theorem of A. Marková is presented. The form of generators preserving rank is determined. Also an interesting example of generator is ..."
Abstract
 Add to MetaCart
is showed. Primary 08A40, SecAMS Mathematics Subject Classification (2000): ondary 15A99 Key words and phrases: rank, generator, gcalculus, pseudoarithmetical operations 1.
Generalized Schubert Calculus
"... Dedicated to C.S. Seshadri on the occasion of his 80th birthday In this paper we study the Tequivariant generalized cohomology of flag varieties using two models, the Borel model and the moment graph model. We study the differences between the Schubert classes and the BottSamelson classes. After s ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
setup of the general framework we compute, for classes of Schubert varieties of complex dimension � 3 in rank 2 (including A2,), moment graph representatives, PieriChevalley formulas and products of Schubert classes. These computations generalize the computations in equivariant Ktheory for rank 2
Results 1  10
of
148