An elementary proof of Sylvester's double sums for subresultants.

Carlos D'Andrea Hoon Hong Teresa Krick Ágnes Szántó

Published in: J. Symb. Comput. (2007)

Keyphrases

random variables
theorem prover
theorem proving
automated theorem proving
preprocessing
genetic algorithm
feature selection
image processing
bayesian networks
objective function
support vector
proof planning
formal proof
mathematical proofs