F-algebra - PDFSEARCH.IO - Document Search Engine

F-algebra
Results: 667

#	Item
91	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
92	Young Women in Topology Bonn, June 25 – 27, 2010 Assigning a classifying space to a saturated fusion system up to F −isomorphism Nora Seeliger Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-30 08:04:37 Finite groups Homological algebra Group theory Cohomology theories Algebraic number theory Group cohomology P-group Cohomology Focal subgroup theorem Sylow theorems
93	DISTRIBUTED ALGORITHMS FOR BASIS PURSUIT João F. C. Mota†‡ , João M. F. Xavier† , Pedro M. Q. Aguiar† , Markus Püschel‡ † Institute for Systems and Robotics / IST, Lisboa, Portugal {jmota,jxavier,aguiar}@i Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 Routing algorithms Linear algebra Matrix theory Belief propagation Coding theory Spectral theory of ordinary differential equations
94	Classiﬁcation and Feature Selection on Matrix Data with Application to Gene-Expression Analysis Sepp Hochreiter Klaus Obermayer Fakult¨at f¨ Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2011-08-11 02:39:02 Linear algebra Vectors Numerical linear algebra Statistical classification Support vector machine Euclidean vector Basis Kernel Vector space Isotope lists 73-96
95	Solution of Parameter-Varying Linear Matrix Inequalities in Toeplitz Form George B. Mertzios Fakult¨at f¨ ur Mathematik, Technische Universit¨at M¨ unchen Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2010-02-04 13:34:36 Elementary algebra Inequality Linear inequality Probability theory
96	143 Documenta Math. Galois coverings, Morita Equivalence and Smash Extensions of Categories over a Field1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-05-10 13:14:15 Category theory Algebraic structures Monoidal categories Representation theory Hopf algebra Morphism Algebras Category F-algebra Functor category Functor Universal property
97	A Proof of Convergen e For the Alternating Dire tion Method of Multipliers Applied to Polyhedral-Constrained Fun tions João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püs hel De ember 11, 2011 Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 Spectral theory Matrix theory Linear algebra Lie groups Spectral theory of ordinary differential equations Spectral theory of compact operators
98	arXiv:math.OAv2 28 SepTHE STRUCTURE OF CROSSED PRODUCTS OF IRRATIONAL ROTATION ALGEBRAS BY FINITE SUBGROUPS OF SL2 (Z) ¨ SIEGFRIED ECHTERHOFF, WOLFGANG LUCK, Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2011-03-02 09:33:03 Differential forms Operator theory Approximately finite-dimensional C*-algebra Closed and exact differential forms Von Neumann algebra Amenable group F-algebra Constructible universe Differential forms on a Riemann surface Congruence lattice problem
99	Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:32 Category theory Functional programming Algebras Boolean algebra F-algebra Functor Algebraic structure Ordinal number F-coalgebra Adjoint functors Constructible universe Free algebra
100	The Weierstrass substitution in REDUCE Neil Langmead Konrad-Zuse-Zentrum f¨ ur Informationstechnik (ZIB) Takustrasse 7 DBerlin Dahlem Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:48:07 Integral calculus Trigonometry Trigonometric substitution Tangent half-angle substitution Sine Antiderivative Inverse trigonometric functions Integration by substitution Trigonometric functions Fresnel integral Trigonometric integral Pi