Qurak
Documentatie
Abonnementen
Inloggen
Qurak
Documentatie
Functies
FindEquationalProof
FindEquationalProof
Niet beschikbaar
Vormen
FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
Opties
TimeConstraint — default Infinity
Doorzoek de referentie
Gerelateerd
ProofObject
AxiomaticTheory
FullSimplify
Reduce
FindInstance
← FindEdgeIndependentPaths
FindEulerianCycle →
Alle 6300 functies
·
Gebruik dit vanuit een MCP-client