Digitisation, representation, and formalisation - Digital libraries of mathematics

One of the main tasks of the mathematical knowledge management community must surely be to enhance access to mathematics on digital systems. In this paper we present a spectrum of approaches to solving the various problems inherent in this task, arguing that a variety of approaches is both necessary and useful. The main ideas presented are about the differences between digitised mathematics, digitally represented mathematics and formalised mathematics. Each has its part to play in managing mathematical information in a connected world. Digitised material is that which is embodied in a computer file, accessible and displayable locally or globally. Represented material is digital material in which there is some structure (usually syntactic in nature) which maps to the mathematics contained in the digitised information. Formalised material is that in which both the syntax and semantics of the represented material, is automatically accessible. Given the range of mathematical information to which access is desired, and the limited resources available for managing that information, we must ensure that these resources are applied to digitise, form representations of or formalise, existing and new mathematical information in such a way as to extract the most benefit from the least expenditure of resources. We also analyse some of the various social and legal issues which surround the practical tasks.

Theory of enhanced magnetic anisotropy induced by Pt adatoms on two-dimensional Co clusters supported on a Pt(111) substrate

Calculations are reported of the magnetic anisotropy energy of two-dimensional (2D) Co nanostructures on a Pt(111) substrate. The perpendicular magnetic anisotropy (PMA) of the 2D Co clusters strongly depends on their size and shape, and rapidly decreases with increasing cluster size. The PMA calculated is in reasonable agreement with experimental results. The sensitivity of the results to the Co-Pt spacing at the interface is also investigated and, in particular, for a complete Co monolayer we note that the value of the spacing at the interface determines whether PMA or in-plane anisotropy occurs. We find that the PMA can be greatly enhanced by the addition of Pt adatoms to the top surface of the 2D Co clusters. A single Pt atom can induce in excess of 5 meV to the anisotropy energy of a cluster. In the absence of the Pt adatoms the PMA of the Co clusters falls below 1 meV/Co atom for clusters of about 10 atoms whereas, with Pt atoms added to the surface of the clusters, a PMA of 1 meV/Co atom can be maintained for clusters as large as about 40 atoms. The effect of placing Os atoms on the top of the Co clusters is also considered. The addition of 5d atoms and clusters on the top of ferromagnetic nanoparticles may provide an approach to tune the magnetic anisotropy and moment separately.