<--- Back to Details
First PageDocument Content
Mathematics / Ordinal number / Wellfoundedness / Constructible universe / Symbol / Closed and exact differential forms / Theory of computation / NC / CurryHoward correspondence / Generalised Whitehead product
Date: 2001-01-17 12:27:51
Mathematics
Ordinal number
Wellfoundedness
Constructible universe
Symbol
Closed and exact differential forms
Theory of computation
NC
CurryHoward correspondence
Generalised Whitehead product

553 Documenta Math. A Modular Compactification of the General Linear Group

Add to Reading List

Source URL: www.math.uiuc.edu

Download Document from Source Website

File Size: 417,46 KB

Share Document on Facebook

Similar Documents

arXiv:1201.0473v1 [math-ph] 2 JanA UNIVERSALITY THEOREM FOR RATIOS OF RANDOM CHARACTERISTIC POLYNOMIALS JONATHAN BREUER AND EUGENE STRAHOV Abstract. We consider asymptotics of ratios of random characteristic

arXiv:1201.0473v1 [math-ph] 2 JanA UNIVERSALITY THEOREM FOR RATIOS OF RANDOM CHARACTERISTIC POLYNOMIALS JONATHAN BREUER AND EUGENE STRAHOV Abstract. We consider asymptotics of ratios of random characteristic

DocID: 1rgcH - View Document

553  Documenta Math. A Modular Compactification of the General Linear Group

553 Documenta Math. A Modular Compactification of the General Linear Group

DocID: 1qYeJ - View Document

Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden

Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden

DocID: 1qJFy - View Document

Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden

Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden

DocID: 1qEWJ - View Document

Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since Eus

Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since Eus

DocID: 1qkFZ - View Document