Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
171	Yang–Mills theory in 2,3,4 dimensions It has been noticed that God has not been tremendously inventive: having once discovered successful dynamics He tends to use it again and again under various circumstances. One of Add to Reading List Source URL: thd.pnpi.spb.ru Language: English - Date: 2005-03-19 10:17:16 Electroweak theory Standard Model Symmetry Quantum chromodynamics Gauge theory Spinor Pauli matrices Yang–Mills theory Orbifold Physics Particle physics Quantum field theory
172	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Bury1 , David Delahaye1 , Damien Doligez2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-03 08:27:10 Symbol Admissible rule Proof theory First-order logic Entailment Constructible universe Curry–Howard correspondence Orbifold Logic Mathematical logic Deduction
173	The Spirit of Ghost Code Jean-Christophe Filliˆ atre1,2 , L´eon Gondelman1? , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ. Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:51:46 Character encoding Digital typography Symbol Mathematics Orbifold Proof theory Programming language semantics Logic in computer science
174	Notre Dame Journal of Formal Logic A Simple Proof That Super-Consistency Implies Cut Elimination Gilles Dowek and Olivier Hermant Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-02-21 08:17:51 Mathematical logic Proof theory Natural deduction Entailment Function Curry–Howard correspondence Orbifold Logic Mathematics Deduction
175	Optimizing chemotaxis by measuring unbound–bound transitions Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2010-10-29 06:58:49 Curves Differential geometry of curves Entailment Orbifold Logic Differential geometry Deduction
176	Locally compact abelian groups Jordan Bell Department of Mathematics, University of Toronto June 4, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-06-04 16:53:06 Mathematics Functional analysis Gelfand representation Sheaf Geometric group theory Differential topology Homotopy theory Orbifold Amenable group Abstract algebra Topology Algebraic topology
177	March 11, :41 WSPC/IJGMMP-J043International Journal of Geometric Methods in Modern Physics Vol. 3, No–199 Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2006-04-03 08:23:46 Analytic number theory Riemann hypothesis Riemann zeta function Möbius transformation Orbifold Mathematical analysis Geometry Mathematics
178	A Tight Lower Bound for the Steiner Point Removal Problem on Trees T.-H. Hubert Chan1, , Donglin Xia2, , Goran Konjevod2, , and Andrea Richa3, 1 Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2006-10-19 14:57:44 Distribution Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Orbifold Mathematical analysis Mathematics Tree
179	WEAK EQUIVALENCE AND NON-CLASSIFIABILITY OF MEASURE PRESERVING ACTIONS ROBIN D. TUCKER-DROB Abstract. Ab´ert-Weiss have shown that the Bernoulli shift sΓ of a countably infinite group Γ is weakly contained in any free Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2012-04-06 14:41:23 Geometric group theory Deduction Amenable group Ergodic theory Entailment Orbifold Gaussian measure Abstract algebra Logic Mathematics
180	MIXING ACTIONS OF COUNTABLE GROUPS ARE ALMOST FREE ROBIN D. TUCKER-DROB A measure preserving action of a countably innite group Γ is called totally ergodic if every innite subgroup of Γ acts ergodically. For example, Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2014-02-06 10:26:03 Ergodic theory Geometry Amenable group Ergodicity Orbifold Abstract algebra Geometric group theory Topology

UPDATE