Arjeh M. Cohen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2000–2006
Best venue rank
Australasian
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | AISC | Interactive Mathematical Documents. | Arjeh M. Cohen |
| 2003 | CADE | Certifying Solutions to Permutation Group Problems. | Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge |
| 2000 | ISSAC | Representing and handling mathematical concepts by humans and machines. | Henk Barendregt, Arjeh M. Cohen |