blob: 3aa57fc6a59833533bd88fa119e9ab47059dad69 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
#LyX 1.6.1 created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
\textclass article
\use_default_options false
\language english
\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_default_family default
\font_sc false
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
\graphics default
\paperfontsize default
\use_hyperref false
\papersize default
\use_geometry false
\use_amsmath 1
\use_esint 1
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\defskip medskip
\quotes_language english
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
\author ""
\author ""
\end_header
\begin_body
\begin_layout Title
6.945 Term Paper Proposal
\end_layout
\begin_layout Date
\begin_inset Formula $\today$
\end_inset
\end_layout
\begin_layout Author
Bryan Newbold <bnewbold@mit.edu>, Laura Harris <lch@mit.edu>
\end_layout
\begin_layout Quotation
Title: Interactive Interface for Numeric and Symbolic Math and Physics
\end_layout
\begin_layout Standard
Our system will be a generic user interface for visualization and exploration
of mathematical procedures and objects.
The intent is to generate a user interface from a set of interaction widgets
and visualization methods appropriate to any supplied procedure or expression.
For example, a list or vector of value pairs would be plotted in two dimensions
and have statistical properties calculated on demand.
An n-artity procedure returning a tuple of values could be numerically
evaluated for a given set of inputs, have it's symbolic derivatives returned,
etc.
The unique aspect is that the user would not have to specify the context
of interaction for each object, a single generic 'explore' procedure will
determine and generate the appropriate interface and handle computations
in parallel (aka separate process threading for interface and computation,
with possible compilation).
\end_layout
\begin_layout Standard
The user interface will include a command line REPL interface for debugging
and either a GTK GUI or web interface.
\end_layout
\begin_layout Standard
Features that will be interesting to implement will be:
\end_layout
\begin_layout Itemize
Halting and restarting of evaluation with continuations
\end_layout
\begin_layout Itemize
Determination of the algebraic properties of functions
\end_layout
\begin_layout Standard
Bryan will be responsible for backend components and evaluation control
structures while Laura will be responsible for the generic front end interface
and interaction control.
\end_layout
\end_body
\end_document
|
