Computer-Assisted Proofs for Semilinear Elliptic Boundary Value Problems

スポンサーリンク

概要

• 論文の詳細を見る
• 2009-10-01

著者

• Plum Michael

  Institut Fur Analysis Universitat Karlsruhe (th)

関連論文

• Computer-Assisted Proofs for Semilinear Elliptic Boundary Value Problems
• A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow

スポンサーリンク