Arjeh M. Cohen

35 papers A 2B 1Misc 1Journal 25Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Shult's Haircut Theorem revised.
Eur. J. Comb.
Arjeh M. Cohen, Anneleen De Schepper, Jeroen Schillewaert, Hendrik Van Maldeghem
2010 J jnl
Mathematical Context in Interactive Documents.
Math. Comput. Sci.
Arjeh M. Cohen, Hans Cuypers, R. Verrijzer
2008 J jnl
Automatic Proof of Graph Nonisomorphism.
Math. Comput. Sci.
Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray
2008 J jnl
Computing in Unipotent and Reductive Algebraic Groups.
LMS J. Comput. Math.
Arjeh M. Cohen, Sergei Haller, Scott H. Murray
2007 J jnl
On a Certain Lie Algebra Defined by a Finite Group.
Am. Math. Mon.
Arjeh M. Cohen, Donald E. Taylor
2007 J jnl
Root shadow spaces.
Eur. J. Comb.
Arjeh M. Cohen, Gábor Ivanyos
2006 J jnl
A poset connected to Artin monoids of simply laced type.
J. Comb. Theory A
Arjeh M. Cohen, Dié A. H. Gijsbers, David B. Wales
2006 Misc conf
Interactive Mathematical Documents.
AISC
Arjeh M. Cohen
2006 J jnl
Visualization of Seifert Surfaces.
IEEE Trans. Vis. Comput. Graph.
Jarke J. van Wijk, Arjeh M. Cohen
2005 J jnl
Affine distance-transitive graphs and classical groups.
J. Comb. Theory A
John van Bon, Arjeh M. Cohen, Hans Cuypers
2005 — conf
Interactive Learning and Mathematical Calculus.
MKM
Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek
2005 J jnl
Local Recognition Of Non-Incident Point-Hyperplane Graphs.
Comb.
Arjeh M. Cohen, Hans Cuypers, Ralf Gramlich
2005 J jnl
Preface.
J. Symb. Comput.
Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy
2005 A conf
Visualization of the Genus of Knots.
IEEE Visualization
Jarke J. van Wijk, Arjeh M. Cohen
2004 J jnl
Computing in groups of Lie type.
Math. Comput.
Arjeh M. Cohen, Scott H. Murray, Donald E. Taylor
2004 J jnl
Editorial.
J. Symb. Comput.
Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama
2003 A conf
Certifying Solutions to Permutation Group Problems.
CADE
Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge
2003 — conf
Interactive Mathematical Documents on the Web.
Algebra, Geometry, and Software Systems
Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, Hans Sterk
2001 J jnl
Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants.
J. Symb. Comput.
Henk Barendregt, Arjeh M. Cohen
2001 J jnl
On the Role of OpenMath in Interactive Mathematical Documents.
J. Symb. Comput.
Olga Caprotti, Arjeh M. Cohen
2000 J jnl
Affine Distance-transitive Groups of Dimension One.
Eur. J. Comb.
Arjeh M. Cohen, Alexandre A. Ivanov
2000 J jnl
JAVA Phrasebooks for computer algebra and automated deduction.
SIGSAM Bull.
Olga Caprotti, Arjeh M. Cohen, Manfred Riem
2000 B conf
Representing and handling mathematical concepts by humans and machines.
ISSAC
Henk Barendregt, Arjeh M. Cohen
1999 J jnl
Affine Distance-transitive Graphs: the Cross Characteristic Case.
Eur. J. Comb.
Arjeh M. Cohen, Kay Magaard, Sergey V. Shpectorov
1999 — conf
Connecting Proof Checkers and Computer Algebra Using OpenMath.
TPHOLs
Olga Caprotti, Arjeh M. Cohen
1999 — conf
Integrating computational and deduction systems using OpenMath.
Calculemus
Olga Caprotti, Arjeh M. Cohen
1999 — book
Some tapas of computer algebra.
Arjeh M. Cohen
1998 — ch.
The ACELA project: aims and plans.
Computer-Human Interaction in Symbolic Computation
Arjeh M. Cohen, Lambert G. L. T. Meertens
1997 J jnl
Computations in finite-dimensional Lie algebras.
Discret. Math. Theor. Comput. Sci.
Arjeh M. Cohen, Willem A. de Graaf, Lajos Rónyai
1992 J jnl
Generalized hexagons of even order.
Discret. Math.
Arjeh M. Cohen, Bruce N. Cooperstein
1992 J jnl
On the number of fixed point free elements in a permutation group.
Discret. Math.
Peter J. Cameron, Arjeh M. Cohen
1989 J jnl
Linear Groups and Distance-transitive Graphs.
Eur. J. Comb.
John van Bon, Arjeh M. Cohen
1985 J jnl
On Generalized Hexagons and a Near Octagon whose Lines have Three Points.
Eur. J. Comb.
Arjeh M. Cohen, Jacques Tits
1983 J jnl
Exceptional Presentations of Three Generalized Hexagons of Order 2.
J. Comb. Theory A
Arjeh M. Cohen
1983 J jnl
On a Theorem of Cooperstein.
Eur. J. Comb.
Arjeh M. Cohen