- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j20 |      | Arjeh M. Cohen, Hans Cuypers, R. Verrijzer: Mathematical Context in Interactive Documents. Mathematics in Computer Science 3(3): 331-347 (2010) |
| 2008 | ||
| j19 | | Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray: Automatic Proof of Graph Nonisomorphism. Mathematics in Computer Science 2(2): 211-229 (2008) |
| 2007 | ||
| j18 | | |
| j17 | | Arjeh M. Cohen, D. E. Taylor: On a Certain Lie Algebra Defined by a Finite Group. The American Mathematical Monthly 114(7): 633-639 (2007) |
| 2006 | ||
| j16 | | 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) |
| j15 | | Jarke J. van Wijk, Arjeh M. Cohen: Visualization of Seifert Surfaces. IEEE Trans. Vis. Comput. Graph. 12(4): 485-496 (2006) |
| c7 | | |
| 2005 | ||
| j14 | | Arjeh M. Cohen, Hans Cuypers, Ralf Gramlich: Local Recognition Of Non-Incident Point-Hyperplane Graphs. Combinatorica 25(3): 271-296 (2005) |
| j13 | | 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) |
| j12 | | Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy: Preface. J. Symb. Comput. 39(3-4): 257-258 (2005) |
| c6 | | Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek: Interactive Learning and Mathematical Calculus. MKM 2005: 330-345 |
| c5 | | |
| 2004 | ||
| j11 | | |
| j10 | | Arjeh M. Cohen, Scott H. Murray, D. E. Taylor: Computing in groups of Lie type. Math. Comput. 73(247): 1477-1498 (2004) |
| 2003 | ||
| c4 | | Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge: Certifying Solutions to Permutation Group Problems. CADE 2003: 258-273 |
| c3 |  | Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, Hans Sterk: Interactive Mathematical Documents on the Web. Algebra, Geometry, and Software Systems 2003: 289-307 |
| 2001 | ||
| j9 | | 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) |
| j8 | | Olga Caprotti, Arjeh M. Cohen: On the Role of OpenMath in Interactive Mathematical Documents. J. Symb. Comput. 32(4): 351-364 (2001) |
| 2000 | ||
| j7 | | Arjeh M. Cohen, Alexandre A. Ivanov: Affine Distance-transitive Groups of Dimension One. Eur. J. Comb. 21(2): 191-195 (2000) |
| c2 | | Henk Barendregt, Arjeh M. Cohen: Representing and handling mathematical concepts by humans and machines. ISSAC 2000 |
| 1999 | ||
| j6 | | Arjeh M. Cohen, Kay Magaard, Sergey V. Shpectorov: Affine Distance-transitive Graphs: the Cross Characteristic Case. Eur. J. Comb. 20(5): 351-373 (1999) |
| j5 | | Olga Caprotti, Arjeh M. Cohen: Integrating computational and deduction systems using OpenMath. Electr. Notes Theor. Comput. Sci. 23(3): 469-480 (1999) |
| c1 | | Olga Caprotti, Arjeh M. Cohen: Connecting Proof Checkers and Computer Algebra Using OpenMath. TPHOLs 1999: 109-112 |
| 1997 | ||
| j4 | | 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 | ||
| j3 | | 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) |
| j2 | | Arjeh M. Cohen, Bruce N. Cooperstein: Generalized hexagons of even order. Discrete Mathematics 106-107: 139-146 (1992) |
| 1983 | ||
| j1 | | Arjeh M. Cohen: Exceptional Presentations of Three Generalized Hexagons of Order 2. J. Comb. Theory, Ser. A 35(1): 79-88 (1983) |
Colors in the list of coauthors
Last update Sun May 26 01:05:52 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page