## Advanced Computer Algebra for Determinants

The material on this webpage accompanies the article Advanced Computer Algebra for Determinants by Christoph Koutschan and Thotsaporn "Aek" Thanatipanonda.We provide a Mathematica notebook

- Determinants.nb (Mathematica 7.0 notebook, 762 KB)
- Determinants.nb.pdf (pdf screenshot of the above notebook [if you don't have Mathematica], 654 KB)

Additionally, we provide some precomputed results, namely the recursive
descriptions of most auxiliary functions c_{n,j} that appear in
the proofs (the only exception is Theorem 1 where we show explicitly how
the guessing is done). On the other hand, finding the creative telescoping
relations which constitute the proof of the analogue of Identity (2c) in
Theorem 3 requires quite some time for which reason the result of this
computation can be downloaded as well (its correctness is verified in the
notebook and this is relatively easy). Just unpack the zip files into the
current working directory of Mathematica.

- cnj_guessed.zip (188 KB)
- conj36_2c_ct.zip (1788 KB)