๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A proof of the sufficiency of McMullen's conditions for f-vectors of simplicial convex polytopes

โœ Scribed by Louis J Billera; Carl W Lee

Publisher
Elsevier Science
Year
1981
Tongue
English
Weight
953 KB
Volume
31
Category
Article
ISSN
0097-3165

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Necessary and Sufficient Convexity Condi
Necessary and Sufficient Convexity Conditions for the Ranges of Vector Measures
โœ Rudolf Herschbach ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 686 KB

The absence of atoms in Lyapunov's Convexity Theorem is a sufficient, but not a necessary condition for the convexity of the range of an n-dimensional vector memure. In this paper algebraic and topological convexity conditions generalizing Lyapunov's Theorem are developed which are sufficient and ne

A proof of the normal form theorem for t
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability
โœ Silvio Valentini ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 300 KB

## Abstract In this paper a proof of the normal form theorem for the closed terms of __Girard's system F__ is given by using a computability method ร  la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as we