4 citations · 13 across the 10 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 4 cited
Cartesian effect categories are Freyd-categories
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the or…
cs.SC2009
On finding multiplicities of characteristic polynomial factors of black-box matrices
Jean-Guillaume Dumas, Clément Pernet, B. David Saunders
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functio…