Tereso del Río Almajano

Tereso del Río Almajano

20222022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

My personal interest in problem-solving is reflected in my research interests. I like to solve real-world problems through mathematics, and I love the way mathematics helps us understand reality. In the last decade, Machine Learning has proven itself as a very powerful tool to find solutions and improve people's lives, however, contrary to mathematics 

I am also interested in tools for checking the validity of mathematical proofs, this is why doing a PhD project on how to improve quantifier elimination procedures using machine learning was ideal for me.

PhD Project

My PhD project consists in using heuristics and machine learning to speed up these algebraic processes without affecting the mathematical validity of the results.

Many algebraic algorithms are proving themselves very useful in applied mathematics, for example, Cylindrical Algebraic Decomposition (CAD), non-uniformal Cylindrical Algebraic Decomposition (nuCAD) or Cylindrical Algebraic Covering (CAC). However, they have a huge complexity (double exponential w.r.t. the number of variables) and therefore some interesting problems can't be solved in a reasonable time.

In these algebraic algorithms, some choices must be taken, such as a variable ordering, a polynomial ordering or whether it's worth it to use some extra information that might take some time to compute. These choices affect immensely the resources needed to solve a problem without affecting the mathematical validity of the results. This sets the perfect scenario to involve Machine Learning to boost these algebraic procedures.

Education/Academic qualification

Investigation on Mathematics, MSc, University of Valladolid

31 Oct 201923 Jul 2020

Award Date: 23 Jul 2020

Mathematics, Degree, University of Valladolid

5 Sep 201531 Oct 2019

Award Date: 31 Oct 2019

Erasmus on Mathematics, University of Dundee

5 Sep 201820 Jun 2019

Keywords

  • QA76 Computer software
  • Computational and Applied Algebraic Geometry
  • Machine Learning
  • Symbolic Computation

Fingerprint

Dive into the research topics where Tereso del Río Almajano is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles