Qurak
Dokumentasi
Harga
Log masuk
Qurak
Dokumentasi
Fungsi
FindEquationalProof
FindEquationalProof
Tidak tersedia
Bentuk
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
Pilihan
TimeConstraint — default Infinity
Cari dalam rujukan
Berkaitan
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
Semua 6300 fungsi
·
Gunakan ini daripada klien MCP