Grivaux, Julien  Tian’s invariant of the Grassmann manifold. (English) Zbl
J. Geom. Anal. 16, No. 3, For a compact Kählerian manifold M , Tian’s invariant α(M ) is connected to the ex

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Differential geometry
• Theoretical physics
• Riemannian manifolds
• Complex manifolds
• Riemannian geometry
• Symplectic geometry
• Khler manifold
• Einstein manifold
• KhlerEinstein metric
• Ricci curvature
• Zbl

A NOTION OF GEOMETRIC COMPLEXITY AND ITS APPLICATION TO TOPOLOGICAL RIGIDITY ERIK GUENTNER, ROMAIN TESSERA, AND GUOLIANG YU Abstract. We introduce a geometric invariant, called finite decomposition complexity (FDC), to s

Source URL: www.normalesup.org

• Mathematics
• Geometry
• Algebra
• Geometric group theory
• Topological groups
• Topology
• Field theory
• Metric geometry
• Amenable group
• Kazhdan's property
• Valuation
• Von Neumann algebra

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Source URL: www.cs.tau.ac.il

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1340) A VIEW ON INVARIANT RANDOM SUBGROUPS Tsachik Gelander ‫גלנדר( )צחיק‬

Source URL: eta.impa.br

• Geometry
• Group theory
• Lie groups
• Mathematics
• Geometric group theory
• Topological groups
• Algebraic groups
• Fourier analysis
• Kazhdan's property
• Lattice
• Amenable group
• Reductive group

Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

Source URL: dacongy.github.io

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Control flow
• Loop optimization
• Heap
• Optimizing compiler
• Foreach loop

Conformally Invariant Loop Measures Gregory F. Lawler∗ March 3, 2018 Abstract There have been incredible progress in the last twenty years in the rigorous analysis of planar statistical

Source URL: eta.impa.br

• Statistical randomness
• Stochastic processes
• Complex analysis
• Statistical mechanics
• Lvy processes
• SchrammLoewner evolution
• Loop-erased random walk
• Conformal loop ensemble
• Brownian motion
• Gaussian free field
• Random walk
• Wiener process

LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

Source URL: www.react.uni-saarland.de

• Formal methods
• I0
• Loop invariant

PDF Document

Source URL: invariant.org

Invariant mass reconstruction of the 1,2 meson in the decay channel experiment 2

Source URL: redtop.fnal.gov

Ordinary elliptic curves of high rank over Fp (x) with constant j-invariant II Claus Diem and Jasper Scholten July 17, 2006 Abstract

Source URL: www.mathematik.uni-leipzig.de