Tereso del Río | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Matthew England
37 publications

research

∙ 07/13/2023

Data Augmentation for Mathematical Objects

This paper discusses and evaluates ideas of data balancing and data augm...

0 Tereso del Río, et al. ∙

research

∙ 06/27/2022

New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

It is well known that the variable ordering can be critical to the effic...

0 Tereso del Río, et al. ∙