FindEquationalProof

利用不可

形式

FindEquationalProof[thm, axms]

FindEquationalProof[thm, "theory"]

オプション

TimeConstraint — default Infinity

リファレンスを検索

関連

ProofObject AxiomaticTheory FullSimplify Reduce FindInstance

全 6300 関数 · MCPクライアントから使う