Grant: Discovery Grants Program - Individual
University of Western Ontario
$41,000.00
Pushing the limits of computer algebra: From the integer resolution of polynomial systems to the computation of topological closures
FY 2019-20
Summary
The proposed themes will expand the scope of computer algebra research into two areas where much remains to be done: computations of limits in mathematical analysis and, computing the integer solutions of systems parametric linear equations and inequalities.******These themes will also address important problems in high-performance computing: extending polyhedral compilation techniques to support non-linear expressions and, delivering efficient implementation of multi-precision and arbitrary precision arithmetic on hardware accelerators.******Finally, the proposed research will support and enhance our more applied software projects with IBM Canada and Maplesoft, namely the MetaFork compilation framework and the RegularChains library.
Program
Discovery Grants Program - Individual
Recipient
Location
Ontario, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
RGPIN-2018-06534
Name nom
MorenoMaza, Marc
Department département
Computer Science
Organization id
36
Institution établissement
University of Western Ontario
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2019
Competition year année de concours
2018
Award amount
41000
Program id
RGPIN
Program name en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
DISCOVERY RESEARCH
Group fr
RECHERCHE AXÉE SUR LA DÉCOUVERTE
Committee code
1507
Committee name en
Computer Science
Committee name fr
Sciences informatiques
Area of application code
1205
Area of application group en
Advancement of knowledge
Area of application group fr
Avancement des connaissances
Area of application en
Mathematical sciences
Area of application fr
Sciences mathématiques
Research subject code
2713
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Algorithms
Research subject fr
Algorithmes
Installment
inst:2 - 5
Partie
2
Nb partie
5
Application title
Pushing the limits of computer algebra: From the integer resolution of polynomial systems to the computation of topological closures
Keyword
NSERC
Application summary
The proposed themes will expand the scope of computer algebra research into two areas where much remains to be done: computations of limits in mathematical analysis and, computing the integer solutions of systems parametric linear equations and inequalities.******These themes will also address important problems in high-performance computing: extending polyhedral compilation techniques to support non-linear expressions and, delivering efficient implementation of multi-precision and arbitrary precision arithmetic on hardware accelerators.******Finally, the proposed research will support and enhance our more applied software projects with IBM Canada and Maplesoft, namely the MetaFork compilation framework and the RegularChains library.
