From 799c2fcd3f7180109bfda01059b64567e0099f5c Mon Sep 17 00:00:00 2001 From: Bryan L Newbold Date: Sat, 25 Apr 2009 23:13:46 -0400 Subject: proposal stuff --- final_project/proposal/bnewbold_lch_proposal.lyx | 105 +++++++++++++++++++++++ final_project/proposal/bnewbold_lch_proposal.pdf | Bin 0 -> 45825 bytes 2 files changed, 105 insertions(+) create mode 100644 final_project/proposal/bnewbold_lch_proposal.lyx create mode 100644 final_project/proposal/bnewbold_lch_proposal.pdf (limited to 'final_project') 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 , Laura Harris +\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 Binary files /dev/null and b/final_project/proposal/bnewbold_lch_proposal.pdf differ -- cgit v1.2.3