1322 search results - page 146 / 265 » Unsound Theorem Proving |
IJBC
2007
13 years 10 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...
CORR
2004
Springer
13 years 10 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...
JMIV
2010
13 years 8 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...
CORR
2010
Springer
13 years 7 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...
DAM
2011
13 years 5 months ago
2011
An edge-labeling λ for a directed graph G has a weak sense of direction (WSD) if there is a function f that satisfies the condition that for any node u and for any two label seq...