Discovery Projects - Grant ID: DP160100486

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP160100486

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

The language complexity of problems in algebra and logic. This project focuses on a major problem at the intersection of algebra, logic and computer science, concerning equations over free groups and free monoids. Expected outcomes include a language-theoretic characterisation of solutions of equations in a wide class of groups and monoids, a language-theoretic understanding of the existential and first-order theories of free groups, and a classification of groups with indexed multiplication tables and EDT0L word problem. The project is designed to expand the frontiers of knowledge in theoretical computer science and pure mathematics, but in the longer term to deepen our understanding of computers, their computational power and intrinsic limitations.

Funded Activity Details

Start Date: 01-01-2016

End Date: 31-12-2022

Funding Scheme: Discovery Projects

Funding Amount: $417,773.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Combinatorics and Discrete Mathematics (excl. Physical Combinatorics) | Group Theory and Generalisations | Pure Mathematics | Computational Logic and Formal Languages

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Expanding Knowledge in the Mathematical Sciences |

Other Keywords

Combinatorics and Discrete Mathematics (excl. Physical Combinatorics) | Computational Logic and Formal Languages | Expanding Knowledge in the Information and Computing Sciences | Expanding Knowledge in the Mathematical Sciences | Group Theory and Generalisations | Pure Mathematics

Related Links