「形式的証明」の記事一覧

• 自動で不等式を検証するツールの試作

  2025-05-02 19:09

  科学・技術

  数学者が、漸近的不等式の検証を自動化するPythonベースのツールを試作しました。このツールは、正の実数と四則演算・指数・最大最小関数を用いた不等式をケース分けにより判定し、真であれば簡易な証明を提示します。線形計画法を応用した構造で、証明過程もログとして出力されます。複雑な多変数不等式や関数空間上の評価に応用可能であり、SageMathなど既存プラットフォームとの統合も今後の課題として挙げられています。