Arjeh M. Cohen

According to our database, Arjeh M. Cohen authored at least 35 papers between 1983 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Shult's Haircut Theorem revised.

Arjeh M. Cohen, Anneleen De Schepper, Jeroen Schillewaert, Hendrik Van Maldeghem

Eur. J. Comb., 2022

2010

Mathematical Context in Interactive Documents.

Arjeh M. Cohen, Hans Cuypers, R. Verrijzer

Math. Comput. Sci., 2010

2008

Automatic Proof of Graph Nonisomorphism.

Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray

Math. Comput. Sci., 2008

Computing in Unipotent and Reductive Algebraic Groups.

Arjeh M. Cohen, Sergei Haller, Scott H. Murray

LMS J. Comput. Math., 2008

2007

On a Certain Lie Algebra Defined by a Finite Group.

Arjeh M. Cohen, Donald E. Taylor

Am. Math. Mon., 2007

Root shadow spaces.

Arjeh M. Cohen, Gábor Ivanyos

Eur. J. Comb., 2007

2006

Visualization of Seifert Surfaces.

Jarke J. van Wijk, Arjeh M. Cohen

IEEE Trans. Vis. Comput. Graph., 2006

A poset connected to Artin monoids of simply laced type.

Arjeh M. Cohen, Dié A. H. Gijsbers, David B. Wales

J. Comb. Theory A, 2006

Interactive Mathematical Documents.

Arjeh M. Cohen

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

Preface.

Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy

J. Symb. Comput., 2005

Affine distance-transitive graphs and classical groups.

John van Bon, Arjeh M. Cohen, Hans Cuypers

J. Comb. Theory A, 2005

Local Recognition Of Non-Incident Point-Hyperplane Graphs.

Arjeh M. Cohen, Hans Cuypers, Ralf Gramlich

Comb., 2005

Visualization of the Genus of Knots.

Jarke J. van Wijk, Arjeh M. Cohen

Proceedings of the 16th IEEE Visualization Conference, 2005

Interactive Learning and Mathematical Calculus.

Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

Computing in groups of Lie type.

Arjeh M. Cohen, Scott H. Murray, Donald E. Taylor

Math. Comput., 2004

Editorial.

Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama

J. Symb. Comput., 2004

2003

Interactive Mathematical Documents on the Web.

Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, Hans Sterk

Proceedings of the Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar], 2003

Certifying Solutions to Permutation Group Problems.

Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2001

On the Role of OpenMath in Interactive Mathematical Documents.

Olga Caprotti, Arjeh M. Cohen

J. Symb. Comput., 2001

Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants.

Henk Barendregt, Arjeh M. Cohen

J. Symb. Comput., 2001

2000

Affine Distance-transitive Groups of Dimension One.

Arjeh M. Cohen, Alexandre A. Ivanov

Eur. J. Comb., 2000

JAVA Phrasebooks for computer algebra and automated deduction.

Olga Caprotti, Arjeh M. Cohen, Manfred Riem

SIGSAM Bull., 2000

Representing and handling mathematical concepts by humans and machines.

Henk Barendregt, Arjeh M. Cohen

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

1999

Integrating computational and deduction systems using OpenMath.

Olga Caprotti, Arjeh M. Cohen

Proceedings of the Systems for Integrated Computation and Deduction, 1999

Affine Distance-transitive Graphs: the Cross Characteristic Case.

Arjeh M. Cohen, Kay Magaard, Sergey V. Shpectorov

Eur. J. Comb., 1999

Connecting Proof Checkers and Computer Algebra Using OpenMath.

Olga Caprotti, Arjeh M. Cohen

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Some tapas of computer algebra.

Arjeh M. Cohen

Algorithms and computation in mathematics 4, Springer, ISBN: 3540634800, 1999

1998

The ACELA project: aims and plans.

Arjeh M. Cohen, Lambert G. L. T. Meertens

Proceedings of the Computer-Human Interaction in Symbolic Computation, 1998

1997

Computations in finite-dimensional Lie algebras.

Arjeh M. Cohen, Willem A. de Graaf, Lajos Rónyai

Discret. Math. Theor. Comput. Sci., 1997

1992

Generalized hexagons of even order.

Arjeh M. Cohen, Bruce N. Cooperstein

Discret. Math., 1992

On the number of fixed point free elements in a permutation group.

Peter J. Cameron, Arjeh M. Cohen

Discret. Math., 1992

1989

Linear Groups and Distance-transitive Graphs.

John van Bon, Arjeh M. Cohen

Eur. J. Comb., 1989

1985

On Generalized Hexagons and a Near Octagon whose Lines have Three Points.

Arjeh M. Cohen, Jacques Tits

Eur. J. Comb., 1985

1983

Exceptional Presentations of Three Generalized Hexagons of Order 2.

Arjeh M. Cohen

J. Comb. Theory A, 1983

On a Theorem of Cooperstein.

Arjeh M. Cohen

Eur. J. Comb., 1983