Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
71	Unique Differences in Symmetric Subsets of Fp Tai Do Duc Division of Mathematical Sciences School of Physical & Mathematical Sciences Nanyang Technological University Singapore Add to Reading List Source URL: www.ntu.edu.sg Language: English - Date: 2015-04-02 00:12:36 Matrix theory Algebra Linear algebra Determinant Lie groups Sigma-algebra Orbifold
72	Uniqueness of Some Cyclic Projective Planes Yiwei Huang Division of Mathematical Sciences School of Physical & Mathematical Sciences Nanyang Technological University Singapore Add to Reading List Source URL: www.ntu.edu.sg Language: English - Date: 2008-01-15 02:43:53 Mathematics Geometry Algebra Incidence geometry Projective geometry Algebraic geometry Euclidean plane geometry Projective plane Representation theory Substitution Orbifold
73	Ambivalent Types for Principal Type Inference with GADTs Jacques Garrigue1 and Didier R´emy2 1 Nagoya University, Graduate School of Mathematics Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:37:28 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Orbifold Symbol
74	PDF Document Add to Reading List Source URL: www.math.stevens.edu Language: English - Date: 2005-01-29 09:36:32 Finite automata Formal languages Regular language Tree Theoretical computer science Mathematics Finite-state transducer Discrete mathematics Orbifold
75	PDF Document Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2007-04-08 10:17:59 Algebraic topology Homotopy theory Measure theory Cohomology Sheaf Simplicial set Sigma-algebra Orbifold
76	On orbifold coverings of genus 2 surfaces Alexander Hulpke, Tapani Kuusalo, Marjatta N¨ aa ¨t¨ anen and Gerhard Rosenberger Add to Reading List Source URL: www.math.colostate.edu Language: English - Date: 2015-01-05 13:06:52
77	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppNEW CONNECTIONS AMONG MULTIVALUED FUNCTIONS, HYPERSTRUCTURES AND FUZZY SETS P. CORSINI AND B. DAVVAZ Abstract. One has considered three differ Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Orbifold Envelope Logic Abstract algebra Deduction
78	On duality relations for session types Giovanni Bernardi1 , Ornela Dardha2 , Simon J. Gay2 , and Dimitrios Kouzapas2,3 1 IMDEA Software Institute, Madrid, Spain Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 05:51:21 Mathematics Logic Orbifold Holomorphic functional calculus Geometry Duality Projective geometry
79	On Regular Vertices of the Union of Planar Convex Objects∗ Esther Ezra† J´anos Pach‡ Micha Sharir§ Add to Reading List Source URL: www.cims.nyu.edu Language: English - Date: 2009-09-24 16:00:36 Graph Vertex Combinatorics Polytopes Abstract simplicial complex Orbifold Mathematics Geometry Symbol
80	A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-27 05:38:59 Logic Denotational semantics Admissible rule Orbifold Μ operator Mathematical logic Theoretical computer science Symbol