W ORKSHOP ON R ANDOMNESS AND E NUMERATION , 24-28 N OVEMBER 2008, C URACAUTÍN , C HILE Combinatorial structures and algorithms: phase transition, enumeration and sampling Mihyun Kang ∗ Institut für Informatik

Source URL: www.math.tugraz.at

Improved Equilibrium Enumeration for Bimatrix Games Extended abstract June 30, 1998 Bernhard von Stengel

Source URL: www.maths.lse.ac.uk

• Polyhedra
• Game theory
• Computational geometry
• Polytopes
• Linear programming
• Vertex enumeration problem
• Bimatrix game
• Clique
• Independent set
• Polyhedron
• Maximal independent set
• Simplex

SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants

Source URL: lampwww.epfl.ch

• Software engineering
• Computer programming
• Computing
• Search algorithms
• Data types
• Type theory
• Enumerated type
• Lambda calculus
• Scala
• Foreach loop
• Combinatory logic
• Comparison of C Sharp and Java

Face enumeration on simplicial complexes Steven Klee and Isabella Novik 1 Introduction Let M be a closed triangulable manifold, and let ∆ be a triangulation of M. What is the smallest number of vertices that ∆ can ha

Source URL: www.math.washington.edu

ENUMERATION AND LIMIT LAWS OF DISSECTIONS ON A CYLINDER ´ JUANJO RUE Abstract. We compute the generating function for triangulations on a cylinder, with the

Source URL: www-ma2.upc.edu

Separating the Degree Spectra of Structures Tyler John Markkanen, Ph.D. University of Connecticut, 2009 In computable model theory, mathematical structures are studied on the basis of

Source URL: www.math.uconn.edu

• Computability theory
• Model theory
• Logic
• Mathematics
• Theory of computation
• Alan Turing
• Constructivism
• Philosophy of mathematics
• Computable model theory
• Turing degree
• Enumeration
• Mathematical logic

Enumeration methods for planar graphs and beyond Mihyun Kang Technische Universität Berlin

Source URL: www.math.tugraz.at

ASYMPTOTIC ENUMERATION OF NON-CROSSING PARTITIONS ON SURFACES? ´ IGNASI SAU, AND DIMITRIOS M. THILIKOS JUANJO RUE, Abstract. We generalize the notion of non-crossing partition on a disk to general surfaces

Source URL: www-ma2.upc.edu

Draft NISTIR 8085, Forming Common Platform Enumeration (CPE) Names from Software Identification (SWID) Tags

Source URL: csrc.nist.gov

ACE — A GAP4 Package Version 5.2 Based on ACE Standalone Version 3.001

Source URL: www.gap-system.org

• Group theory
• Computational group theory
• Coset enumeration
• Coset
• ACE inhibitor
• Index of a subgroup
• Group
• Accelerated Christian Education
• Ace