#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