455 search results - page 1 / 91 » Structure Theorems for Systems of Segments |
JCDCG
2000
Springer
14 years 2 months ago
2000
Springer
We study intersection properties of systems of segments in the plane. In particular, we show that there exists a constant c > 0 such that every system S of n straight-line segme...
VMCAI
2007
Springer
14 years 5 months ago
2007
Springer
MKM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
IGPL
1998
13 years 10 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...