Logarithms of iteration matrices, and proof of a conjecture by Shadrin and Zvonkine.

Matthias Aschenbrenner

Published in: J. Comb. Theory, Ser. A (2012)

Keyphrases

theorem prover
linear logic
theorem proving
kronecker product
real world
objective function
linear complementarity problem
automated theorem proving
correlation matrix
mathematical proofs
database
real time
low rank approximation
sparse matrix
interactive theorem proving