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