Wolfram言語™

  • 実多項式系の解集合の境界，結合要素とその他の位相的特性を計算する »
  • ベクトルおよび行列の変数を使って，大規模な系を自然にかつ簡潔に表す »
  • 特殊構造を持つ大規模な方程式系や不等式系を効率的に解く »
  • 以前は扱いにくかった方程式系や不等式系のクラスを解く »
  • ベクトルおよび行列の変数を使って，最適化問題をより簡潔に，より自然に定式化する »
  • 厳密な最適化問題の新しいクラスを解く »
  • 足したり，掛けたり，方程式と不等式を組み合わせたりする新しい関数を使って，方程式をステップごとに解く »
  • 等式論理の自動証明を生成する »
  • 組込みの公理論の集合を使って定理を証明する »
  • グラフ，データ集合，ノートブックを含むさまざまな形式で証明を提示する »

関連する例

関連関数

関連するガイド

12の新機能の関連項目

de en es fr ko pt-br zh