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 cn,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)