Sciweavers

179 search results - page 1 / 36
» The proof of Hermann's conjecture
Sort
View
APPML
2004
66views more  APPML 2004»
13 years 5 months ago
The proof of Hermann's conjecture
Renjiang Zhang, Guojin Wang
ORL
2008
77views more  ORL 2008»
13 years 5 months ago
A short proof of the VPN Tree Routing Conjecture on ring networks
The VPN Tree Routing Conjecture states that there always exists an optimal solution to the symmetric Virtual Private Network Design (sVPND) problem where the paths between all ter...
Fabrizio Grandoni, Volker Kaibel, Gianpaolo Oriolo...
BIRTHDAY
2005
Springer
13 years 10 months ago
Psychological Validity of Schematic Proofs
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
Mateja Jamnik, Alan Bundy
DCG
2010
53views more  DCG 2010»
13 years 5 months ago
A Revision of the Proof of the Kepler Conjecture
Abstract. The Kepler conjecture asserts that no packing of congruent balls in three-dimensional Euclidean space has density greater than that of the face-centered cubic packing. Th...
Thomas C. Hales, John Harrison, Sean McLaughlin, T...
DM
2010
66views more  DM 2010»
13 years 5 months ago
Two proofs of the Bermond-Thomassen conjecture for tournaments with bounded minimum in-degree
The Bermond-Thomassen conjecture states that, for any positive integer r, a digraph of minimum out-degree at least 2r -1 contains at least r vertex-disjoint directed cycles. Thoma...
Stéphane Bessy, Nicolas Lichiardopol, Jean-...