Sciweavers

67 search results - page 14 / 14
» A Theorem on Higher Bruhat Orders
Sort
View
CCCG
2010
13 years 7 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»
13 years 5 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