Advanced Computer Algebra for Determinants

Christoph Koutschan Thotsaporn "Aek" Thanatipanonda

Published in: CoRR (2011)

Keyphrases

computer algebra
theorem prover
computer algebra systems
neural network
model checking
automated theorem provers