Formal Proof of SCHUR Conjugate Function.

Franck Butelle Florent Hivert Micaela Mayero Frédéric Toumazet

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

formal proof
theorem prover
data sets
real world
bayesian networks
wide range
natural language
relational databases