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
Identifying long cycles in finite alternating and symmetric groups acting on subsets	2016-09-05	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Steve Linton