Qurak
Documentación
Planes
Entrar
Qurak
Documentación
Funciones
FindEquationalProof
FindEquationalProof
No disponible
Formas
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
Opciones
TimeConstraint — default Infinity
Buscar en la referencia
Relacionadas
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
Las 6300 funciones
·
Usar esto desde un cliente MCP