%0 Conference Paper %1 Murray-Rust2007 %A Murray-Rust, Peter %B Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference %C Hagenberg, Austria %D 2007 %I Springer-Verlag %K imported %R 10.1007/978-3-540-73086-6_11 %T Mathematics and Scientific Markup %X The development of e-Science (cyberScience, Grid, etc.) is starting to become a reality with formalised data resources, services on demand, domain-specific search engines, digital repositories, etc. Increasingly STM information will be contained in compound XML documents, representing scientific communication (articles, theses, repository entries, etc.). In physical sciences such as chemistry, materials science, engineering, physics, earth sciences, these "datuments" 1 normally contain hypertext, graphics, tables, graphs and numerical data, mathematical objects and relationships. In addition they may also contain domain-specific content such as chemical formula and reactions, thermodynamic and mechanical properties, electric, magnetic and optical properties.Among the domain-specific languages, CML (Chemical Markup Language) is the oldest and broadest, and is now being actively used for publishing by the Royal Society of Chemistry (Project Prospect 2) which gives an idea of what chemistry in datuments can look like. CML has had to develop the domain-specific objects (molecules, atoms, bonds, spectra, crystallography, etc.) and the relationships between them. However, due to the text-based nature of early XML, it has also had to design an implement domain-independent infrastructure which can support much of physical science. Originally called STMML 3 it supports data types (float, integer, complex, etc.), data structures (arrays, lists, matrices, etc.), geometrical concepts (points, planes, lines, etc.) and scientific units of measurement. In addition CML bases much of its flexibility one usercreated dictionaries (ontologies) which are hyperlinked from objects in the datuments.

@inproceedings{Murray-Rust2007, abstract = {The development of e-Science (cyberScience, Grid, etc.) is starting to become a reality with formalised data resources, services on demand, domain-specific search engines, digital repositories, etc. Increasingly STM information will be contained in compound XML documents, representing scientific communication (articles, theses, repository entries, etc.). In physical sciences such as chemistry, materials science, engineering, physics, earth sciences, these "datuments" [1] normally contain hypertext, graphics, tables, graphs and numerical data, mathematical objects and relationships. In addition they may also contain domain-specific content such as chemical formula and reactions, thermodynamic and mechanical properties, electric, magnetic and optical properties.Among the domain-specific languages, CML (Chemical Markup Language) is the oldest and broadest, and is now being actively used for publishing by the Royal Society of Chemistry (Project Prospect [2]) which gives an idea of what chemistry in datuments can look like. CML has had to develop the domain-specific objects (molecules, atoms, bonds, spectra, crystallography, etc.) and the relationships between them. However, due to the text-based nature of early XML, it has also had to design an implement domain-independent infrastructure which can support much of physical science. Originally called STMML [3] it supports data types (float, integer, complex, etc.), data structures (arrays, lists, matrices, etc.), geometrical concepts (points, planes, lines, etc.) and scientific units of measurement. In addition CML bases much of its flexibility one usercreated dictionaries (ontologies) which are hyperlinked from objects in the datuments.}, added-at = {2011-12-21T01:05:11.000+0100}, address = {Hagenberg, Austria}, author = {Murray-Rust, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2e8243e804fd85f6fc799959067c0d86c/fairybasslet}, booktitle = {Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference}, doi = {10.1007/978-3-540-73086-6_11}, interhash = {d52030bdd40efa53dc66de7d812370da}, intrahash = {e8243e804fd85f6fc799959067c0d86c}, keywords = {imported}, publisher = {Springer-Verlag}, timestamp = {2019-03-11T21:06:37.000+0100}, title = {Mathematics and Scientific Markup}, year = 2007 }