Qurak
مستندات
طرحها
ورود
Qurak
مستندات
توابع
FindEquationalProof
FindEquationalProof
در دسترس نیست
شکلها
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
گزینهها
TimeConstraint — default Infinity
جستوجو در مرجع
مرتبط
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
همهٔ 6300 تابع
·
استفاده از این در کلاینت MCP