Login / Signup
Formal Proof of SCHUR Conjugate Function
Franck Butelle
Florent Hivert
Micaela Mayero
Frédéric Toumazet
Published in:
CoRR (2010)
Keyphrases
</>
formal proof
theorem prover
multimedia
data mining
genetic algorithm
multiscale
real world