FindEquationalProof

Недоступно

Формы

FindEquationalProof[thm, axms]

FindEquationalProof[thm, "theory"]

Опции

TimeConstraint — default Infinity

Поиск по справочнику

Связанное

ProofObject AxiomaticTheory FullSimplify Reduce FindInstance

Все 6300 функций · Использовать из MCP-клиента