Qurak
Documentation
Offres
Connexion
Qurak
Documentation
Fonctions
FindEquationalProof
FindEquationalProof
Non disponible
Formes
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
Options
TimeConstraint — default Infinity
Rechercher dans la référence
Connexes
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
Les 6300 fonctions
·
Utiliser ceci depuis un client MCP