Steve Linton
University of St Andrews, Computer Science, Faculty Member
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
... Moderator: Norbert Kajler; Panelists: Peter Borwein, Henri Casanova, James Davenport, Andrew Solomon, Paul Wang. Demos. Afternoon July 28, 1999: Number Theory and EZFace (Peter Borwein, Peter Lisonek, Natt Klassen), Center for... more
... Moderator: Norbert Kajler; Panelists: Peter Borwein, Henri Casanova, James Davenport, Andrew Solomon, Paul Wang. Demos. Afternoon July 28, 1999: Number Theory and EZFace (Peter Borwein, Peter Lisonek, Natt Klassen), Center for Experimental and Constructive ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP... more
GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language, large data libraries of algebraic objects ...
Research Interests:
Research Interests:
Research Interests:
Version 4 of the GAP Groups, Algorithms, Programming system for computational discrete mathematics has a num-ber of novel features. In this paper, we describe the type system, and the way in which it is used for method selec-tion. This... more
Version 4 of the GAP Groups, Algorithms, Programming system for computational discrete mathematics has a num-ber of novel features. In this paper, we describe the type system, and the way in which it is used for method selec-tion. This system is central to the organisation of the library ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Abstract. This paper develops finks between algebra and automated deduction. We show how we have developed heuristics in automated de-duction and computer algebra systems by looking at Tietze transform-ations from group theory and... more
Abstract. This paper develops finks between algebra and automated deduction. We show how we have developed heuristics in automated de-duction and computer algebra systems by looking at Tietze transform-ations from group theory and Knuth-Bendix completion. A complex in- ...
Research Interests:
... Ten years on, RT CURTIS & RA WILSON (eds) 250 Characters and blocks of finite groups, G.NAVARRO 251 Grobner ... Mansour and Augustine O. Munagi Restricted patience sorting and barred pattern... more
... Ten years on, RT CURTIS & RA WILSON (eds) 250 Characters and blocks of finite groups, G.NAVARRO 251 Grobner ... Mansour and Augustine O. Munagi Restricted patience sorting and barred pattern avoidance 233 Alexander Burstein and Isaiah Lankham Permutations with k ...