Machine learning and computer algebra (2015)

First Author: Huang Zongyan
Attributed to:  Automatic Proof Procedures for Polynomials and Special Functions funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-884.html

Type: Thesis

ISBN: 0000 0004 6058 1898