Reconstruction, identification and implementation methods for spiking neural circuits

von Florescu, Dorian
Veröffentlicht 2017

A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs

von Florescu, Dorian
Veröffentlicht in International Congress on Mathematical Software (7. : 2020 : Online) Mathematical software - ICMS 2020 (2020)

Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness

von Florescu, Dorian
Veröffentlicht in MACIS (8. : 2019 : Gebze) Mathematical aspects of computer and information sciences (2020)

Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple

von England, Matthew
Veröffentlicht in Maple Conference (3. : 2019 : Waterloo, Ontario) Maple in mathematics education and research (2020)