7 search results - page 2 / 2 » A Revision of the Proof of the Kepler Conjecture |
SEMWIKI
2008
13 years 6 months ago
2008
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
CP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...