The self-validating numerics - A new tool for computer assisted proofs of nonlinear problems

Shin'Ichi Oishi*

*この研究の対応する著者

研究成果: Conference contribution

フィンガープリント

「The self-validating numerics - A new tool for computer assisted proofs of nonlinear problems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science