Qurak
Documentação
Planos
Entrar
Qurak
Documentação
Funções
FindEquationalProof
FindEquationalProof
Não disponível
Formas
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
Opções
TimeConstraint — default Infinity
Pesquisar a referência
Relacionados
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
Todas as 6300 funções
·
Usar isto de um cliente MCP