Thesis
- 1 results
Search results
-
Heuristics and Machine Learning to Improve Symbolic Computation Algorithms: Speeding Up Cylindrical Algebraic Decomposition
Author: del Río, T., Jun 2024Supervisor: England, M. (Supervisor) & Sadeghimanesh, A. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy
File