HOMOLOGICAL ALGEBRA Contents 1. Introduction 2. Basic notions 3. Preadditive and additive categories

Source URL: stacks.math.columbia.edu

• Homological algebra
• Additive categories
• Isomorphism theorems
• Snake lemma
• Exact sequence
• Epimorphism
• Cokernel
• Abelian category
• Image
• Abstract algebra
• Category theory
• Mathematics

Questions Answered. In Theory. http://cstheory.stackexchange.com∗ Perhaps you’re a computer scientist wondering how much the Axiom of Choice matters to the theorems you study and prove[21]. Perhaps you’re a mathema

Source URL: www.cs.utah.edu

• Complexity classes
• Community websites
• Mathematical optimization
• Conjectures
• P versus NP problem
• Structural complexity theory
• Stack Exchange Network
• NP-complete
• NP
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

UNIFYING VOTING THEORY FROM NAKAMURA’S TO GREENBERG’S THEOREMS DONALD G. SAARI Abstract. Cycles, empty cores, intransitivities, and other complexities affect group decision and voting rules. Approaches developed to p

Source URL: www.imbs.uci.edu

• Voting systems
• Politics
• Public choice theory
• Nakamura number
• Singly and doubly even
• Majority rule
• Symbol
• Social choice theory
• Voting theory
• Voting

Free theorems and runtime type representations Dimitrios Vytiniotis1 Stephanie Weirich2 Department of Computer and Information Science University of Pennsylvania Philadelphia PA, USA

Source URL: www.seas.upenn.edu

Journal of Economic Perspectives—Volume 22, Number 4 —Fall 2008 —Pages 115–134 Overlapping Generations: The First Jubilee Philippe Weil

Source URL: isites.harvard.edu

• Overlapping generations model
• Fellows of the Econometric Society
• Guggenheim Fellows
• Pareto efficiency
• Fundamental theorems of welfare economics
• Ramsey–Cass–Koopmans model
• Economic model
• Perfect competition
• Paul Samuelson
• Economics
• Welfare economics
• Game theory

Statistics 582, Problem Set 2 Solutions Wellner; [removed]Consider nonparametric maximum likelihood estimation of F in the right-censored data problem considered in class, but extend the argument to include ties as f

Source URL: www.stat.washington.edu

• Maximum likelihood
• Science
• Philosophy of science
• Theorems and definitions in linear algebra
• Fisher consistency
• Estimation theory
• Statistical theory
• M-estimators

DO ANDROIDS PROVE THEOREMS IN THEIR SLEEP? Michael Harris, version of March 21, 2008, (plus one addition) 1. A mathematical dream narrative …antes imagino que todo es ficción, fábula y mentira, y sueños contados por

Source URL: webusers.imj-prg.fr

• Mathematical logic
• Formal systems
• Philosophy of mathematics
• Proof theory
• Mathematical proof
• Theorem
• Formal proof
• Axiom
• Automated theorem proving
• Logic
• Mathematics
• Logical syntax

Kogelschatz, Hartmut Institut für International Vergleichende Wirtschafts- und Sozialstatistik Universität Heidelberg Hauptstraÿe[removed]Heidelberg Germany

Source URL: www.iioa.org

• Matrix theory
• Singular value decomposition
• Abstract algebra
• Eigenvalues and eigenvectors
• Matrix
• Perron–Frobenius theorem
• Theorems and definitions in linear algebra
• Algebra
• Linear algebra
• Mathematics

Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract

Source URL: www.cs.duke.edu

• Computer science
• Applied mathematics
• Deterministic finite automaton
• Nondeterministic finite automaton
• Finite-state machine
• Computability
• Deterministic pushdown automaton
• Context-free language
• Pushdown automaton
• Automata theory
• Models of computation
• Theoretical computer science

Fairness, Risk Preferences and Independence: Impossibility Theorems Drew Fudenberg* and David K. Levine** First Version: April 30, 2010 This Version: March 9, 2011

Source URL: www.dklevine.com

• Consumer theory
• Microeconomics
• Expected utility hypothesis
• Preference
• Social preference
• Constructible universe
• Statistics
• Economics
• Decision theory
• Utility
• Game theory