The following pages link to Steve Linton (Q307917):
Displayed 31 items.
- Identifying long cycles in finite alternating and symmetric groups acting on subsets (Q307919) (← links)
- On convex permutations (Q533781) (← links)
- Permutations generated by stacks and deques (Q659569) (← links)
- Item:Q307917 (redirect page) (← links)
- Some group theoretic examples with completion theorem provers (Q1815855) (← links)
- Generating custom propagators for arbitrary constraints (Q2453695) (← links)
- The insertion encoding of permutations (Q2571290) (← links)
- (Q2937646) (← links)
- Easy composition of symbolic computation software (Q2946562) (← links)
- TORSION UNITS IN INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS (Q3013892) (← links)
- (Q3084752) (← links)
- Torsion Units in Integral Group Ring of the Mathieu Simple Group<i>M</i><sub>22</sub> (Q3091957) (← links)
- Conditional Symmetry Breaking (Q3524179) (← links)
- Symmetry and Consistency (Q3524180) (← links)
- Growing at a Perfect Speed (Q3557493) (← links)
- (Q4232470) (← links)
- (Q4232479) (← links)
- (Q4240274) (← links)
- (Q4263160) (← links)
- (Q4335294) (← links)
- Algebra and automated deduction (Q4647540) (← links)
- Finding the smallest image of a set (Q4657330) (← links)
- (Q4660662) (← links)
- (Q4895372) (← links)
- Interfacing Coq + SSReflect with GAP (Q5170233) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464702) (← links)
- S-crucial and bicrucial permutations with respect to squares (Q5502211) (← links)
- Symbolic Computation Software Composability (Q5505509) (← links)
- Towards High-Performance Computational Algebra with GAP (Q5747859) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897206) (← links)