References

 


[A]Albert D. Rich, Rule-based Mathematics, https://www.apmaths.uwo.ca/~arich/index.html


[I]Iwanami Sugaku Jiten (in Japanese) (Fourth ed.), Tokyo: Iwanami Shoten, 2007, ISBN 978-4-00-080309-0

[M]Micheal Somos, A collection of over 6200 identities for the Dedekind Eta Function, https://eta.math.georgetown.edu/


[R]Mathar Richard J, Yet another table of integrals, arXiv:1207.5845 


[W]Wolfram Alpha, Wolfram Research Company, https://www.wolframalpha.com/


[W]Freek Wiedijk,  Formalizing 100 theorems, https://www.cs.ru.nl/~freek/100/

     (Theorem 14 and Theorem 26 are formalizations of proof of identities.)