2007 |
24 | EE | Arjeh M. Cohen,
Gábor Ivanyos:
Root shadow spaces.
Eur. J. Comb. 28(5): 1419-1441 (2007) |
2006 |
23 | EE | Arjeh M. Cohen:
Interactive Mathematical Documents.
AISC 2006: 1 |
22 | EE | Jarke J. van Wijk,
Arjeh M. Cohen:
Visualization of Seifert Surfaces.
IEEE Trans. Vis. Comput. Graph. 12(4): 485-496 (2006) |
21 | EE | Arjeh M. Cohen,
Dié A. H. Gijsbers,
David B. Wales:
A poset connected to Artin monoids of simply laced type.
J. Comb. Theory, Ser. A 113(8): 1646-1666 (2006) |
2005 |
20 | EE | Jarke J. van Wijk,
Arjeh M. Cohen:
Visualization of the Genus of Knots.
IEEE Visualization 2005: 72 |
19 | EE | Arjeh M. Cohen,
Hans Cuypers,
Dorina Jibetean,
Mark Spanbroek:
Interactive Learning and Mathematical Calculus.
MKM 2005: 330-345 |
18 | EE | Arjeh M. Cohen,
Hans Cuypers,
Ralf Gramlich:
Local Recognition Of Non-Incident Point-Hyperplane Graphs.
Combinatorica 25(3): 271-296 (2005) |
17 | EE | John van Bon,
Arjeh M. Cohen,
Hans Cuypers:
Affine distance-transitive graphs and classical groups.
J. Comb. Theory, Ser. A 110(2): 291-335 (2005) |
16 | EE | Arjeh M. Cohen,
Gert-Martin Greuel,
Marie-Françoise Roy:
Preface.
J. Symb. Comput. 39(3-4): 257-258 (2005) |
2004 |
15 | EE | Arjeh M. Cohen,
Xiao-Shan Gao,
Nobuki Takayama:
Editorial.
J. Symb. Comput. 38(4): 1167-1168 (2004) |
14 | | Arjeh M. Cohen,
Scott H. Murray,
D. E. Taylor:
Computing in groups of Lie type.
Math. Comput. 73(247): 1477-1498 (2004) |
2003 |
13 | | Arjeh M. Cohen,
Hans Cuypers,
Ernesto Reinaldo Barreiro,
Hans Sterk:
Interactive Mathematical Documents on the Web.
Algebra, Geometry, and Software Systems 2003: 289-307 |
12 | EE | Arjeh M. Cohen,
Scott H. Murray,
Martin Pollet,
Volker Sorge:
Certifying Solutions to Permutation Group Problems.
CADE 2003: 258-273 |
2001 |
11 | | Henk Barendregt,
Arjeh M. Cohen:
Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants.
J. Symb. Comput. 32(1/2): 3-22 (2001) |
10 | | Olga Caprotti,
Arjeh M. Cohen:
On the Role of OpenMath in Interactive Mathematical Documents.
J. Symb. Comput. 32(4): 351-364 (2001) |
2000 |
9 | EE | Henk Barendregt,
Arjeh M. Cohen:
Representing and handling mathematical concepts by humans and machines.
ISSAC 2000 |
8 | EE | Arjeh M. Cohen,
Alexandre A. Ivanov:
Affine Distance-transitive Groups of Dimension One.
Eur. J. Comb. 21(2): 191-195 (2000) |
1999 |
7 | EE | Olga Caprotti,
Arjeh M. Cohen:
Connecting Proof Checkers and Computer Algebra Using OpenMath.
TPHOLs 1999: 109-112 |
6 | EE | Olga Caprotti,
Arjeh M. Cohen:
Integrating computational and deduction systems using OpenMath.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
5 | EE | Arjeh M. Cohen,
Kay Magaard,
Sergey V. Shpectorov:
Affine Distance-transitive Graphs: the Cross Characteristic Case.
Eur. J. Comb. 20(5): 351-373 (1999) |
1997 |
4 | EE | Arjeh M. Cohen,
Willem A. de Graaf,
Lajos Rónyai:
Computations in finite-dimensional Lie algebras.
Discrete Mathematics & Theoretical Computer Science 1(2): 129-138 (1997) |
1992 |
3 | EE | Peter J. Cameron,
Arjeh M. Cohen:
On the number of fixed point free elements in a permutation group.
Discrete Mathematics 106-107: 135-138 (1992) |
2 | EE | Arjeh M. Cohen,
Bruce N. Cooperstein:
Generalized hexagons of even order.
Discrete Mathematics 106-107: 139-146 (1992) |
1983 |
1 | | Arjeh M. Cohen:
Exceptional Presentations of Three Generalized Hexagons of Order 2.
J. Comb. Theory, Ser. A 35(1): 79-88 (1983) |