Qurak
Документація
Тарифи
Увійти
Qurak
Документація
Функції
FindEquationalProof
FindEquationalProof
Недоступно
Форми
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
Опції
TimeConstraint — default Infinity
Пошук у довіднику
Пов'язане
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
Усі 6300 функцій
·
Використати з MCP-клієнта