Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple

Author(s):  
Matthew England ◽  
Dorian Florescu
2019 ◽  
Vol 13 (4) ◽  
pp. 461-488 ◽  
Author(s):  
Zongyan Huang ◽  
Matthew England ◽  
David J. Wilson ◽  
James Bridge ◽  
James H. Davenport ◽  
...  

2020 ◽  
Vol 43 ◽  
Author(s):  
Myrthe Faber

Abstract Gilead et al. state that abstraction supports mental travel, and that mental travel critically relies on abstraction. I propose an important addition to this theoretical framework, namely that mental travel might also support abstraction. Specifically, I argue that spontaneous mental travel (mind wandering), much like data augmentation in machine learning, provides variability in mental content and context necessary for abstraction.


2020 ◽  
Author(s):  
Mohammed J. Zaki ◽  
Wagner Meira, Jr
Keyword(s):  

2020 ◽  
Author(s):  
Marc Peter Deisenroth ◽  
A. Aldo Faisal ◽  
Cheng Soon Ong
Keyword(s):  

Author(s):  
Lorenza Saitta ◽  
Attilio Giordana ◽  
Antoine Cornuejols

Sign in / Sign up

Export Citation Format

Share Document