proposal stuff

2 files changed, 105 insertions, 0 deletions

diff --git a/final_project/proposal/bnewbold_lch_proposal.lyx b/final_project/proposal/bnewbold_lch_proposal.lyx
new file mode 100644
index 0000000..3aa57fc
--- /dev/null
+++ b/final_project/proposal/bnewbold_lch_proposal.lyx
@@ -0,0 +1,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
diff --git a/final_project/proposal/bnewbold_lch_proposal.pdf b/final_project/proposal/bnewbold_lch_proposal.pdf
new file mode 100644
index 0000000..a26f532
--- /dev/null
+++ b/final_project/proposal/bnewbold_lch_proposal.pdf