1: \documentclass[a4paper]{article}
2:
3: \usepackage[latin1]{inputenc}
4: \usepackage[T1]{fontenc}
5: \usepackage{ae}
6: %\usepackage{times}
7: %\usepackage{courier}
8:
9: % create in-text links black (with PDF)
10: \usepackage[colorlinks=true,linkcolor=black]{hyperref}
11: % Format URLs nicely (without PDF)
12: %\usepackage{url}
13:
14:
15: \title{Bringing mathematical and physical manuscripts to the net}
16:
17: \author{Dirk Wintergrün}
18:
19: \date{version 0.1 of \today}
20:
21:
22:
23: \begin{document}
24: \maketitle
25:
26: \begin{abstract}
27: Proposal for a joint task force/project of the Dibner
28: Institute and the Max Planck Institute for the History of Science.
29: \end{abstract}
30:
31: \tableofcontents
32:
33: \section{Starting point}
34: \label{sec:starting-point}
35:
36: Both institutes aim to bring a.s.a.p. mathematical papers into the
37: net, i.e. Albert Einstein's Zurich Notebook by the MPIWG and
38: Manuscripts of Newton and contemporaries by the Dibner
39: Institute. Furthermore these projects shall be realized without
40: substantial external funding. Therefore a strategy for using already
41: existing technology has to be found which also includes an optimal
42: devision of labor.
43:
44: The problem of presenting images and (pure) text is to great extent
45: solved. But an open question is how to adequately represent formulae.
46: \section{Overall goal}
47: \label{sec:goals}
48:
49: The overall goal of the project/task force to develop a.s.a p. an environment
50: for presenting mathematical and physical manuscripts in the net. In
51: particular a solution for the representation of formulae in the
52: historic context should be found. The developments shall base on
53: existing technologies already developed at the participating
54: institutes and otherwise available open source technologies.
55:
56: \section{Goals}
57: In detail in a first step (pragmatic) answers to the following
58: questions should be found:
59:
60: \begin{itemize}
61: \item Which technologies exists for presenting formulae in the net?
62: \item Which standards for encoding formulae as XML exists and can they
63: be used for representing formulae in historic papers in the net?
64: \item Which extensions of existing standards have to be made to
65: represent the semantic meaning of formulae in historical documents?
66: \end{itemize}
67:
68: The answers should be oriented on the need to find a solutions which
69: can on the one hand be realized very soon with existing standards and
70: which are on the other hand open enough for further developments and specifications.
71:
72: A second step shall be the implementation of a first prototype.
73:
74: \section{First concrete steps}
75: A (real) workshop should be held with a limited number of participants
76: (up to 10) dedicated to the above mentioned questions bringing to together:
77:
78:
79: \begin{itemize}
80: \item experts on the manuscripts (George Smith, Jürgen Renn)
81: \item experts on representing (modern) mathematical papers (Living
82: Review staff?)
83: \item experts on computer algebra (Mupad, Maple or Mathematica staff,
84: Bruno Buchberger? (risc))
85: \item experts for representing texts (Malcolm Hyman/ Mark Schiefsky (Harvard)).
86: \end{itemize}
87:
88: At the end of the workshop a (pragmatic) working grammar for encoding
89: formulae should be defined and a list of requirements for the needed
90: developments should be made.
91:
92: \section{Division of labor}
93: \label{sec:division-labor}
94:
95: The MPIWG will further develop their existing presentation techniques
96: and text tools and
97: bring this in the cooperation and cooperate in the new developments.
98:
99: The Dibner Institute will focus on the evaluation of representing the
100: mathematical parts of the papers. For the first step one
101: (engaged) student with background on history of science and IT may be sufficient.
102:
103:
104:
105: \section{Timescale}
106: \label{sec:timescale}
107: Very preliminary timescale:
108: \begin{itemize}
109: \item First report on existing tools and standards in November
110: \item The Workshop should be held at least in January.
111: \item Specification of the (preliminary) XML-Format shoud be finished in February
112: \item An alpha version - if necessary with a brute force solution concerning the formulae (MATHML-Presentation Mark Up + GIF Images for the browsers which do not understand MATHML) - finished in April (maybe quicker).
113: \end{itemize}
114:
115:
116: \end{document}
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>