Qurak
เข้าสู่ระบบ

FindEquationalProof

ใช้งานไม่ได้

FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
ค้นหาในเอกสารอ้างอิง

ที่เกี่ยวข้อง

ProofObjectAxiomaticTheoryFullSimplifyReduceFindInstance

ฟังก์ชันทั้งหมด 6300 รายการ · ใช้สิ่งนี้จากไคลเอนต์ MCP