Term algebra - PDFSEARCH.IO - Document Search Engine

Term algebra
Results: 147

#	Item
1	CUBE-TERMS, FINITELY RELATED ALGEBRAS, AND CSP Abstract. We prove that a finite idempotent algebra is inherently finitely related if and only if it has a cube-term, find the maximal idempotent clones that do not contain Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-08-02 10:07:37 Algebra Mathematics Abstract algebra Lie groups Non-associative algebras Category theory F-algebra Functional programming Idempotence Algebra over a field Idempotent Mutation
2	C ∗ -ALGEBRAS AND K-THEORY GRADUATE STUDENT SEMINAR SUMMER TERM 2013 MARKUS LAND This semester we want to study the basic theory of C ∗ -algebras and their topological Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2013-03-18 09:44:57 Algebra Abstract algebra Mathematics K-theory Operator algebras Functional analysis C*-algebras Operator theory Banach algebra Algebra over a field KK-theory Associative algebra
3	´ Etale cohomology Prof. Dr. Uwe Jannsen Summer Term 2015 Add to Reading List Source URL: www.mathematik.uni-regensburg.de Language: English Algebra Abstract algebra Mathematics Sheaf theory Sheaf Grothendieck topology Coherent sheaf Representable functor tale cohomology Direct image functor Functor Universal property
4	Perverse sheaves and the Weil conjectures Prof. Dr. Uwe Jannsen Summer Term 16 Inhaltsverzeichnis 1 Triangulated categories Add to Reading List Source URL: www.mathematik.uni-regensburg.de Language: English Mathematics Abstract algebra Algebra Homological algebra Triangulated category Morphism Functor Coproduct Yoneda lemma Isomorphism Category Morphism of algebraic varieties
5	Exact Corotational Linear FEM Stiffness Matrix Jernej Barbiˇc Technical Report, University of Southern California, 2012 9 × 12 matrices. In Equation 3, we need the term ∂ R/∂ x` , which is the `-th column of ∂ R/ Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2012-08-04 10:10:49 Algebra Linear algebra Mathematics Matrices Matrix theory Lie groups Matrix Symmetric matrix Stiffness matrix Diagonal matrix Polar decomposition Diagonalizable matrix
6	Mathematics High School Student Edition High School Algebra Playlist: Parsing Expressions Add to Reading List Source URL: www.wisewire.com Language: English - Date: 2016-02-11 16:41:07 Mathematics Algebra Elementary mathematics Elementary algebra Polynomials Abstract algebra Expression Equation Variable Coefficient Term Algebraic expression
7	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
8	THE KERVAIRE INVARIANT ONE PROBLEM GRADUATE STUDENT SEMINAR SUMMER TERM 2014 MARKUS LAND Last semester we saw a proof of the following short exact sequence Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2014-03-18 11:26:34 Topology Mathematics Algebra Surgery theory Differential topology Homotopy theory Algebraic topology Quadratic forms Kervaire invariant Arf invariant Steenrod algebra Michel Kervaire
9	GROMOV’S H-PRINCIPLE AND ITS APPLICATIONS RESEARCH SEMINAR, SUMMER TERM 2010 ANDRES ANGEL, JOHANNES EBERT An h-principle is a method to reduce existence problems in differential geometry to homotopy-theoretic problems. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-03-16 07:35:28 Topology Mathematics Algebra Algebraic topology Differential topology Differentiable manifold Immersion Foliation Homotopy principle Thom space Manifold Cohomology
10	Introduction to Information Retrieval ` `%%%`#_`__~~~false [0.5cm] IIR 18: Latent Semantic Indexing Add to Reading List Source URL: essir.uni-koblenz.de Language: English - Date: 2016-02-24 18:38:53 Algebra Mathematics Natural language processing Latent semantic analysis Machine learning Singular value decomposition Dimensionality reduction Vector space model Document-term matrix