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 2021-22
Summary
Code generation; Computational topology; Computer algebra; Computer program analysis; Hardware accelerators; Parallel processing; Parametric integer programming; Polyhedral computation; Solvers of non-linear polynomial systems; Symbolic analysis
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
Moreno Maza, 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
2021
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 grants programs
Group fr
Programmes de subventions à 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:4
Partie
1
Nb partie
6
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
Code generation; Computational topology; Computer algebra; Computer program analysis; Hardware accelerators; Parallel processing; Parametric integer programming; Polyhedral computation; Solvers of non-linear polynomial systems; Symbolic analysis
