A Computer Proof of a Polynomial Identity Implying a Partition Theorem of Göllnitz.

Alexander Berkovich Axel Riese

Published in: Adv. Appl. Math. (2002)

Keyphrases

interactive theorem proving
computer systems
personal computer
theorem proving
information systems
learning environment
higher order
low order