1. Arai, N.H., Matsuzaki, T., Iwane, H., Anai, H.: Mathematics by machine. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, pp. 1–8, ACM-Press (2014)
2. Becker, E., Wörmann, T.: On the trace formula for quadratic forms. In: Proceedings of Recent Advances in Real Algebraic Geometry and Quadratic Forms, Contemporary Mathematics, vol. 155, pp. 271–291. American Mathematical Society (1994)
3. Brown, C., et al.: QEPCAD.
https://urldefense.proofpoint.com/v2/url?u=https-3A__www.usna.edu_CS_qepcadweb_B_QEPCAD.html&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=fs72Aj2MHHkrUbt5MXeOF0B3iyfTQkLWYjPboUB-RSA&e=
. Accessed 8 Oct 2017
4. Fukasaku, R.: 2016 Version of CGSQE Package.
https://urldefense.proofpoint.com/v2/url?u=http-3A__www.rs.tus.ac.jp_fukasaku_software_CGSQE-2D20160509_&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=ExGbD7jMK0fzhZjaF_9DQ2vYfqv6alRkPjcYhRzkADk&e=
. Accessed 8 Oct 2017
5. Fukasaku, R.: 2017 Version of CGSQE Package.
https://urldefense.proofpoint.com/v2/url?u=http-3A__www.rs.tus.ac.jp_fukasaku_software_CGSQE-2D2017_&d=DwICAg&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=UpNksRRkQEKvUbblp9QRYTuemGLwQgpW1U7iMCFPZ8k&m=mWR4kwzCQJx99sfByc_Wd_NtOKrvA94px0mf4a_qj_8&s=E-8Gmc7etlgpy1LN6yFA1qKUNLLB65V2URmVednn2Rg&e=
. Accessed 8 Oct 2017