Qurak
Documentazione
Piani
Accedi
Qurak
Documentazione
Funzioni
FindEquationalProof
FindEquationalProof
Non disponibile
Forme
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
Opzioni
TimeConstraint — default Infinity
Cerca nella guida
Correlate
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
Tutte le 6300 funzioni
·
Usa questo da un client MCP