| Publication | Date of Publication | Type |
|---|
Algebra and automated deduction
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Easy composition of symbolic computation software: a new lingua franca for symbolic computation
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
\(S\)-crucial and bicrucial permutations with respect to squares
| 2015-08-18 | Paper |
Regular languages of plus- and minus-(in)decomposable permutations
| 2015-01-09 | Paper |
Interfacing Coq + SSReflect with GAP
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
Generating custom propagators for arbitrary constraints
Artificial Intelligence | 2014-06-10 | Paper |
Permutations generated by stacks and deques
Annals of Combinatorics | 2012-01-24 | Paper |
Torsion units in integral group ring of the Mathieu simple group \(M_{22}\).
LMS Journal of Computation and Mathematics | 2011-09-15 | Paper |
View of computer algebra data from Coq
Lecture Notes in Computer Science | 2011-07-29 | Paper |
TORSION UNITS IN INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS
International Journal of Algebra and Computation | 2011-07-19 | Paper |
On convex permutations
Discrete Mathematics | 2011-05-06 | Paper |
On the permutational power of token passing networks
| 2011-03-25 | Paper |
Towards high-performance computational algebra with GAP
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
Growing at a perfect speed
Combinatorics, Probability and Computing | 2010-04-23 | Paper |
Generic SBDD using computational group theory
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Symbolic Computation Software Composability
Lecture Notes in Computer Science | 2009-01-27 | Paper |
Conditional Symmetry Breaking
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Symmetry and Consistency
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
The insertion encoding of permutations
The Electronic Journal of Combinatorics | 2005-11-01 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
scientific article; zbMATH DE number 2151195 (Why is no real title available?)
| 2005-04-04 | Paper |
Finding the smallest image of a set
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
scientific article; zbMATH DE number 1341611 (Why is no real title available?)
| 2000-02-17 | Paper |
scientific article; zbMATH DE number 1283932 (Why is no real title available?)
| 1999-06-20 | Paper |
scientific article; zbMATH DE number 1262425 (Why is no real title available?)
| 1999-03-15 | Paper |
scientific article; zbMATH DE number 1262431 (Why is no real title available?)
| 1999-03-15 | Paper |
scientific article; zbMATH DE number 1004932 (Why is no real title available?)
| 1998-05-26 | Paper |
scientific article; zbMATH DE number 934896 (Why is no real title available?)
| 1997-01-09 | Paper |
Some group theoretic examples with completion theorem provers
Journal of Automated Reasoning | 1996-11-19 | Paper |
