Sciweavers

67 search results - page 14 / 14
» A Theorem on Higher Bruhat Orders
Sort
View
88
Voted
CCCG
2010
15 years 1 months ago
On the variance of random polygons
A random polygon is the convex hull of uniformly distributed random points in a convex body K R2 . General upper bounds are established for the variance of the area of a random p...
William L. Steiger, Imre Bárány
ENTCS
2002
128views more  ENTCS 2002»
14 years 11 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori