Qurak
بەڵگەنامەکان
پلانەکان
چوونەژوورەوە
Qurak
بەڵگەنامەکان
فەنکشنەکان
FindEquationalProof
FindEquationalProof
بەردەست نییە
شێوەکان
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
هەڵبژاردەکان
TimeConstraint — default Infinity
لە سەرچاوەکەدا بگەڕێ
پەیوەندیدار
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
هەموو 6300 فەنکشنەکە
·
ئەمە لە کڵایەنتێکی MCP ەوە بەکاربهێنە