Search of article List
the 2011 International Symposium on Nonlinear Theory and its Applications
| number | title/author |
|---|---|
| A0L-H1 | The State of the Art of Verified Numerical Computation ?A Tool for Computer Assisted Proofs of Nonlinear Problems? Shin’ichi Oishi, |