Qurak
الوثائق
الخطط
تسجيل الدخول
Qurak
الوثائق
الدوال
FindEquationalProof
FindEquationalProof
غير متاحة
الصيغ
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
الخيارات
TimeConstraint — default Infinity
ابحث في المرجع
ذات صلة
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
كل الدوال الـ6300
·
استخدم هذا من عميل MCP