1410 search results - page 143 / 282 » Proving theorems by reuse |
132
click to vote
JCT
2006
15 years 6 months ago
2006
In 2002, De Loera, Peterson and Su proved the following conjecture of Atanassov: let T be a triangulation of a d-dimensional polytope P with n vertices v1, v2, . . . , vn; label t...
100
click to vote
IJBC
2007
15 years 6 months ago
2007
In this paper we study the nonchaotic and chaotic behavior of all 3D conservative quadratic ODE systems with five terms on the right-hand side and one nonlinear term (5-1 systems...
166
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
136
Voted
JMIV
2010
15 years 4 months ago
2010
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
149
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The present lack of a stable method to compare persistent homology groups with torsion is a relevant problem in current research about Persistent Homology and its applications in P...