A. Hayes

发表

Mathematica: A system for doing mathematics by computer

A. Hayes, 1993, The Mathematical Gazette.

A REPRESENTATION THEORY FOR A CLASS OF PARTIALLY ORDERED RINGS

A. Hayes, 1964 .

Uniformities with totally ordered bases have paracompact topologies

A. Hayes, 1973, Mathematical Proceedings of the Cambridge Philosophical Society.