Discovery of statistical equivalence classes using computer algebra.

Christiane Görgen Anna Maria Bigatti Eva Riccomagno Jim Q. Smith

Published in: Int. J. Approx. Reason. (2018)

Keyphrases

equivalence classes
computer algebra
equivalence class
theorem prover
bayesian network structures
directed acyclic graph
data mining
knowledge discovery
statistical models
automated theorem provers
computer algebra systems