Representation Theorem for Stacks

Representation Theorem for Stacks

Bibliographic Details
Main Author:	Bancerek Grzegorz
Format:	Article
Language:	English
Published:	Sciendo 2011-01-01
Series:	Formalized Mathematics
Online Access:	https://doi.org/10.2478/v10037-011-0033-2

Similar Items

The untyped stack calculus and Bohm's theorem
by: Alberto Carraro
Published: (2013-03-01)

A Mirror Theorem for Toric Stack Bundles
by: You, Fenglong
Published: (2017)

The Riesz Representation Theorem
by: Williams, Stanley C. (Stanley Carl)
Published: (1980)

Integral Representation Theorems
by: Hatta, Leiko
Published: (1971)

Stone's representation theorem
by: Radu, Ion
Published: (2007)

Veblen Hierarchy
by: Bancerek Grzegorz
Published: (2011-01-01)

Sorting by Exchanging
by: Bancerek Grzegorz
Published: (2011-01-01)

Epsilon Numbers and Cantor Normal Form
by: Bancerek Grzegorz
Published: (2009-01-01)

A Model of Mizar Concepts - Unification
by: Bancerek Grzegorz
Published: (2010-01-01)

Mizar Analysis of Algorithms: Preliminaries
by: Bancerek Grzegorz
Published: (2007-01-01)

Semantics of MML Query
by: Bancerek Grzegorz
Published: (2012-12-01)

Free Term Algebras
by: Bancerek Grzegorz
Published: (2012-12-01)

Towards the Construction of a Model of Mizar Concepts
by: Bancerek Grzegorz
Published: (2008-01-01)

Mizar Analysis of Algorithms: Algorithms over Integers
by: Bancerek Grzegorz
Published: (2008-01-01)

Program Algebra over an Algebra
by: Bancerek Grzegorz
Published: (2012-12-01)

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
by: Bancerek Grzegorz
Published: (2014-03-01)

Term Context
by: Bancerek Grzegorz
Published: (2014-06-01)

Semantics of MML Query - Ordering
by: Bancerek Grzegorz
Published: (2013-01-01)

Algebraic Approach to Algorithmic Logic
by: Bancerek Grzegorz
Published: (2014-09-01)

Analysis of Algorithms: An Example of a Sort Algorithm
by: Bancerek Grzegorz
Published: (2013-01-01)

On Multiset Ordering
by: Bancerek Grzegorz
Published: (2016-06-01)

Group representations and Maschke’s Theorem
by: Fors, Hannes
Published: (2019)

Martingale representation theorems and their applications
by: Choi, Man Kin
Published: (2006)

Gelfand theorem implies Stone representation theorem of Boolean rings
by: Parfeny P. Saworotnow
Published: (1995-01-01)

Image Representation Using Stacked Colour Histogram
by: Ezekiel Mensah Martey, et al.
Published: (2021-07-01)

Representation theorems with variables in an intrinsic form
by: Sebastiano Pennisi
Published: (1989-05-01)

The Orthogonal Projection and the Riesz Representation Theorem
by: Narita Keiko, et al.
Published: (2015-09-01)

Inversion and Representation Theorems for the Laplace Transformation
by: Rooney, Paul George
Published: (1952)

Representation theorems for classes of interval structures
by: Coetzee, Cecilia J.
Published: (2010)

Hahn-Banach extension theorem, Fritz John's ellipsoid theorem and representation of norms
by: Shen-Yi Hsu, et al.
Published: (2007)

An efficient wavelet representation for large medical image stacks
by: Forsberg, Daniel
Published: (2007)

HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY
by: YUN, ZHIWEI
Published: (2021)

A Formal Proof Of The Riesz Representation Theorem
by: Anthony Narkawicz
Published: (2011-01-01)

Representations of Finite-Dimensional Algebras and Gabriel’s Theorem
by: Gustavsson, Bim
Published: (2019)

A Stone-Weierstrass theorem for group representations
by: Joe Repka
Published: (1978-01-01)

Two representation theorems and their application to decision theory
by: Chew, Soo Hong
Published: (2010)

The Riesz representation theorem for positive linear functionals
by: Norqvist, Jimmy
Published: (2016)

Introduction to Matroids
by: Bancerek Grzegorz, et al.
Published: (2008-01-01)

On Representation Theorem for Algebras with Three Commuting Involutions
by: Amir Mohammed, et al.
Published: (2009-07-01)

Two theorems on Galois representations and Shimura varieties
by: Karnataki, Aditya Chandrashekhar
Published: (2016)