Steve Linton

Available identifiers

zbMath Open linton.steve-aMaRDI QIDQ307917

List of research outcomes

Publication	Date of Publication	Type
Algebra and automated deduction	2019-01-15	Paper
Easy composition of symbolic computation software	2015-09-17	Paper
S-crucial and bicrucial permutations with respect to squares	2015-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q2937646	2015-01-09	Paper
Interfacing Coq + SSReflect with GAP	2014-07-22	Paper
Generating custom propagators for arbitrary constraints	2014-06-10	Paper
Permutations generated by stacks and deques	2012-01-24	Paper
Torsion Units in Integral Group Ring of the Mathieu Simple GroupM22	2011-09-15	Paper
View of Computer Algebra Data from Coq	2011-07-29	Paper
TORSION UNITS IN INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS	2011-07-19	Paper
On convex permutations	2011-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q3084752	2011-03-25	Paper
Towards High-Performance Computational Algebra with GAP	2010-09-14	Paper
Growing at a Perfect Speed	2010-04-23	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Symbolic Computation Software Composability	2009-01-27	Paper
Conditional Symmetry Breaking	2008-09-09	Paper
Symmetry and Consistency	2008-09-09	Paper
The insertion encoding of permutations	2005-11-01	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4660662	2005-04-04	Paper
Finding the smallest image of a set	2005-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4263160	2000-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4240274	1999-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4232470	1999-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4232479	1999-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4335294	1998-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4895372	1997-01-09	Paper
Some group theoretic examples with completion theorem provers	1996-11-19	Paper

Research outcomes over time

This page was built for person: Steve Linton