|
|
[1-4]
| Order by:
[Title],
[Author],
[Editor],
[Year] |
|---|
|
John Guckenheimer
Bifurcations, Automatic Differentiation and Computer Generated Proofs
Computational Differentiation: Techniques, Applications, and Tools, SIAM,
1996 |
not yet classified
|
|
|
John Guckenheimer, Brian Meloon
Computing Periodic Orbits and their Bifurcations with Automatic Differentiation
Article in
SIAM Journal on Scientific Computing, SIAM,
2000 |
Tools:
ADOL-C
|
|
|
John Guckenheimer
Computer Proofs for Bifurcations of Planar Dynamical Systems
Computational Differentiation: Techniques, Applications, and Tools, SIAM,
1996 |
not yet classified
|
|
|
Eric Phipps, Richard Casey, John Guckenheimer
Periodic Orbits of Hybrid Systems and Parameter Estimation via AD
Automatic Differentiation: Applications, Theory, and Implementations, Springer,
2006 |
Tools:
ADMC++
|
[1-4]
back
|
|
