Combinatorial proofs of the Newton-Girard and Chapman-Costas-Santos identities.

Sajal Kumar Mukherjee Sudip Bera

Published in: Discret. Math. (2019)

Keyphrases

theorem proving
theorem prover
equational theories
data sets
objective function
video sequences
mobile robot
interior point methods
gauss newton
mathematical proofs
interactive theorem proving