Gröbner Basis Online
Current work is focused on algorithms in Discrete Event Dynamical Systems, and the use of symbolic algebra packages to investigate properties of tropical algebras. The algorithmic work focuses on spectral calculations for idempotent semirings using Policy Iteration methods, and investigation of how the network topology can affect the dynamics of the system. Applications range from traffic control in cities to scheduling on production lines.
The mathematics of Discrete Event Systems is described by a family of tropical algebras known as dioids. While many of the algebraic (matrix) properties of these objects are known, new work is being carried out on their properties as operators over spaces, and we hope to use symbolic algebra (such as GAP) to aid in this.
Additional interests in symbolic algebra are problems in computational algebraic geometry and the use of OTTER for solving formal problems in logic.
Contact: Michael Mc Gettrick michael.mcgettrick@nuigalway.ie