منابع مشابه
Refined Seiberg-witten Invariants
In the past two decades, gauge theoretic methods became indispensable when considering manifolds in dimension four. Initially, research centred around the moduli spaces of Yang-Mills instantons. Simon Donaldson had introduced the instanton equations into the field. Using cohomological data of the corresponding moduli spaces, he defined invariants which could effectively distinguish differentiab...
متن کاملBoosting k-Induction with Continuously-Refined Invariants
k-induction is a promising technique to extend bounded model checking from falsification to verification. In software verification, k-induction works only if auxiliary invariants are used to strengthen the induction hypothesis. The problem that we address is to generate such invariants (1) automatically without user-interaction, (2) efficiently such that little verification time is spent on the...
متن کاملCombining k-Induction with Continuously-Refined Invariants
Bounded model checking (BMC) is a well-known and successful technique for finding bugs in software. k-induction is an approach to extend BMC-based approaches from falsification to verification. Automatically generated auxiliary invariants can be used to strengthen the induction hypothesis. We improve this approach and further increase effectiveness and efficiency in the following way: we start ...
متن کاملRefined translation and scale Legendre moment invariants
Orthogonal Legendre moments are used in several pattern recognition and image processing applications. Translation and scale Legendre moment invariants were expressed as a combination of the approximate original Legendre moments. The shifted and scaled Legendre polynomials were expressed in terms of the original Legendre polynomials according to complicated and time-consuming algebraic relation...
متن کاملDiagonal invariants and the refined multimahonian distribution
Combinatorial aspects of multivariate diagonal invariants of the symmetric group are studied. As a consequence we deduce the existence of a multivariate extension of the classical Robinson-Schensted correspondence. Further byproducts are a purely combinatorial algorithm to describe the irreducible decomposition of the tensor product of two irreducible representations of the symmetric group, and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebraic Geometry
سال: 2018
ISSN: 1056-3911,1534-7486
DOI: 10.1090/jag/705