Arjeh M. Cohen

Publication Activity (10 Years)

Years Active: 1983-2022
Publications (10 Years): 1

Top Topics

Reinforcement Learning

Image Segmentation

Top Venues

Publications

Arjeh M. Cohen, Anneleen De Schepper, Jeroen Schillewaert, Hendrik Van Maldeghem
Shult's Haircut Theorem revised. Eur. J. Comb. 102 (2022)
Arjeh M. Cohen, Hans Cuypers, R. Verrijzer
Mathematical Context in Interactive Documents. Math. Comput. Sci. 3 (3) (2010)
Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray
Automatic Proof of Graph Nonisomorphism. Math. Comput. Sci. 2 (2) (2008)
Arjeh M. Cohen, Sergei Haller, Scott H. Murray
Computing in Unipotent and Reductive Algebraic Groups. LMS J. Comput. Math. 11 (2008)
Arjeh M. Cohen, Donald E. Taylor
On a Certain Lie Algebra Defined by a Finite Group. Am. Math. Mon. 114 (7) (2007)
Arjeh M. Cohen, Gábor Ivanyos
Root shadow spaces. Eur. J. Comb. 28 (5) (2007)
Jarke J. van Wijk, Arjeh M. Cohen
Visualization of Seifert Surfaces. IEEE Trans. Vis. Comput. Graph. 12 (4) (2006)
Arjeh M. Cohen
Interactive Mathematical Documents. AISC (2006)
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) (2006)
Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek
Interactive Learning and Mathematical Calculus. MKM (2005)
John van Bon, Arjeh M. Cohen, Hans Cuypers
Affine distance-transitive graphs and classical groups. J. Comb. Theory, Ser. A 110 (2) (2005)
Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy
Preface. J. Symb. Comput. 39 (3-4) (2005)
Jarke J. van Wijk, Arjeh M. Cohen
Visualization of the Genus of Knots. IEEE Visualization (2005)
Arjeh M. Cohen, Hans Cuypers, Ralf Gramlich
Local Recognition Of Non-Incident Point-Hyperplane Graphs. Comb. 25 (3) (2005)
Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama
Editorial. J. Symb. Comput. 38 (4) (2004)
Arjeh M. Cohen, Scott H. Murray, Donald E. Taylor
Computing in groups of Lie type. Math. Comput. 73 (247) (2004)
Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge
Certifying Solutions to Permutation Group Problems. CADE (2003)
Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, Hans Sterk
Interactive Mathematical Documents on the Web. Algebra, Geometry, and Software Systems (2003)
Olga Caprotti, Arjeh M. Cohen
On the Role of OpenMath in Interactive Mathematical Documents. J. Symb. Comput. 32 (4) (2001)
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) (2001)
Olga Caprotti, Arjeh M. Cohen, Manfred Riem
JAVA Phrasebooks for computer algebra and automated deduction. SIGSAM Bull. 34 (2) (2000)
Henk Barendregt, Arjeh M. Cohen
Representing and handling mathematical concepts by humans and machines. ISSAC (2000)
Arjeh M. Cohen, Alexandre A. Ivanov
Affine Distance-transitive Groups of Dimension One. Eur. J. Comb. 21 (2) (2000)
Arjeh M. Cohen, Kay Magaard, Sergey V. Shpectorov
Affine Distance-transitive Graphs: the Cross Characteristic Case. Eur. J. Comb. 20 (5) (1999)
Olga Caprotti, Arjeh M. Cohen
Integrating computational and deduction systems using OpenMath. Calculemus (1999)
Olga Caprotti, Arjeh M. Cohen
Connecting Proof Checkers and Computer Algebra Using OpenMath. TPHOLs (1999)
Arjeh M. Cohen, Willem A. de Graaf, Lajos Rónyai
Computations in finite-dimensional Lie algebras. Discret. Math. Theor. Comput. Sci. 1 (2) (1997)
Arjeh M. Cohen, Bruce N. Cooperstein
Generalized hexagons of even order. Discret. Math. (1992)
Peter J. Cameron, Arjeh M. Cohen
On the number of fixed point free elements in a permutation group. Discret. Math. (1992)
John van Bon, Arjeh M. Cohen
Linear Groups and Distance-transitive Graphs. Eur. J. Comb. 10 (5) (1989)
Arjeh M. Cohen, Jacques Tits
On Generalized Hexagons and a Near Octagon whose Lines have Three Points. Eur. J. Comb. 6 (1) (1985)
Arjeh M. Cohen
On a Theorem of Cooperstein. Eur. J. Comb. 4 (2) (1983)
Arjeh M. Cohen
Exceptional Presentations of Three Generalized Hexagons of Order 2. J. Comb. Theory, Ser. A 35 (1) (1983)