1![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 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](https://www.pdfsearch.io/img/2181303b7d1023fcc799c4f19ecf5df4.jpg) | Add to Reading ListSource URL: jgrivaux.perso.math.cnrs.frLanguage: English - Date: 2018-03-18 08:55:55
|
---|
2![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 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](https://www.pdfsearch.io/img/92d589743085e4bc7b68711dcdcc4a75.jpg) | Add to Reading ListSource URL: www.normalesup.orgLanguage: English - Date: 2011-10-21 02:00:00
|
---|
3![Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an](https://www.pdfsearch.io/img/3b6ddc4e17d8e2ff8f9286b623edfe1f.jpg) | Add to Reading ListSource URL: www.cs.tau.ac.ilLanguage: English - Date: 2016-02-15 05:41:47
|
---|
4![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1340) A VIEW ON INVARIANT RANDOM SUBGROUPS Tsachik Gelander גלנדר( )צחיק Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1340) A VIEW ON INVARIANT RANDOM SUBGROUPS Tsachik Gelander גלנדר( )צחיק](https://www.pdfsearch.io/img/839862f22a58ecb6a3861abe6c60e555.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:42
|
---|
5![Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA](https://www.pdfsearch.io/img/4fcbc35d0f4d8deab6b1f6119c6db945.jpg) | Add to Reading ListSource URL: dacongy.github.ioLanguage: English - Date: 2017-06-27 01:04:15
|
---|
6![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 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](https://www.pdfsearch.io/img/62a2de588e0b28a427d25feba83232a8.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:47
|
---|
7![LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi](https://www.pdfsearch.io/img/7d5a9e596a8badb0927d6cf05b3e1708.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: invariant.org- Date: 2010-12-24 17:50:18
|
---|
9![Invariant mass reconstruction of the 1,2 meson in the decay channel experiment 2 Invariant mass reconstruction of the 1,2 meson in the decay channel experiment 2](https://www.pdfsearch.io/img/7cdade8e903a210862c65b3b63a5c531.jpg) | Add to Reading ListSource URL: redtop.fnal.govLanguage: English - Date: 2017-06-05 16:32:10
|
---|
10![Ordinary elliptic curves of high rank over Fp (x) with constant j-invariant II Claus Diem and Jasper Scholten July 17, 2006 Abstract Ordinary elliptic curves of high rank over Fp (x) with constant j-invariant II Claus Diem and Jasper Scholten July 17, 2006 Abstract](https://www.pdfsearch.io/img/43a35c32cfd047488d13df24c568f9f0.jpg) | Add to Reading ListSource URL: www.mathematik.uni-leipzig.deLanguage: English - Date: 2012-11-27 05:34:03
|
---|