1410 search results - page 37 / 282 » Proving theorems by reuse |
JAT
2006
13 years 10 months ago
2006
We prove an extrapolation theorem for the nonlinear m-term approximation with respect to a system of functions satisfying very mild conditions. This theorem allows us to prove end...
CADE
2003
Springer
14 years 10 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
APAL
2010
13 years 10 months ago
2010
In [1] it was developed o-minimal homotopy for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we also extend these res...
JCT
2010
13 years 8 months ago
2010
We prove a vector space analog of a version of the Kruskal-Katona theorem due to Lov´asz. We apply this result to extend Frankl’s theorem on r-wise intersecting families to vec...
DCG
2008
13 years 10 months ago
2008
We prove Helly-type theorems for line transversals to disjoint unit balls in Rd . In particular, we show that a family of n 2d disjoint unit balls in Rd has a line transversal if,...