Theory - PDFSEARCH.IO - Document Search Engine

Theory
Results: 155664

#	Item
1	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof Geiß Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Algebra Abstract algebra Mathematics Representation theory Lie algebras Matrices KacMoody algebra AuslanderReiten theory Cartan matrix Symmetric matrix Sheaf Semisimple Lie algebra
2	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-06-02 16:25:19 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula
3	The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University Add to Reading List Source URL: thev.net Language: English - Date: 2011-02-09 02:39:42 Software engineering Computing Programming paradigms Evaluation strategy Functional programming Computer programming Concurrent programming languages Functional reactive programming Reactive programming Computer architecture Dataflow programming Dataflow
4	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮) Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:43 Algebra Abstract algebra Mathematics Algebraic geometry Automorphic forms Moduli space Hitchin system Stack Langlands program Drinfeld module Fundamental lemma ArthurSelberg trace formula
5	Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-06 06:27:29 Linear temporal logic Temporal logic Symbol Stochastic game Mathematical optimization Markov decision process Markov chain Probability
6	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–2602) CONFORMAL FIELD THEORY, VERTEX OPERATOR ALGEBRAS AND OPERATOR ALGEBRAS Yasuyuki Kawahigashi (河東泰之) Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Algebra Conformal field theory Abstract algebra Theoretical physics Lie algebras Vertex operator algebra Virasoro algebra Von Neumann algebra Representation theory Two-dimensional conformal field theory Planar algebra Monstrous moonshine
7	Voting Theory AAAI-2010 Voting Procedures and their Properties Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:04:25 Single-winner electoral systems Political philosophy Voting Politics Elections Electoral systems Social choice theory Psephology Condorcet criterion Borda count Plurality voting Condorcet paradox
8	Noname manuscript No. (will be inserted by the editor) Being Careful about Theory Combination Dejan Jovanovi´ Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Model theory Mathematics Metalogic Logic Mathematical logic Interpretation Structure
9	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳) Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:43 Geometry Algebra Abstract algebra Algebraic geometry Chenyang Xu Minimal model program Fano variety Canonical singularity Birational geometry Projective variety Resolution of singularities Canonical bundle
10	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1034) AN INVITATION TO HIGHER TEICHMÜLLER THEORY Anna Wienhard Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:43 Geometry Space Mathematics Lie groups Geometric group theory Differential geometry Projective geometry Riemann surfaces Teichmller space Representation theory Reductive group Projective linear group

UPDATE