[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiomdeveloper] [Summer of Code] display organization: please insert y
From: 
wyscc 
Subject: 
[Axiomdeveloper] [Summer of Code] display organization: please insert your info as mentor 
Date: 
Thu, 02 Jun 2005 09:51:55 0500 
Changes http://page.axiomdeveloper.org/zope/mathaction/SummerOfCode/diff

??changed:
DOCUMENTATION

Axiom is documented with 4 books which are under development,
<center><font size=5><B>Summer of Code: Axiom Projects</B></font></center>
<br>
Information on Google's Summer of Code project is available at
http://code.google.com/summerofcode.html
<UL>
<li>I. DOCUMENTATION<br>
<p>Axiom is documented with 4 books which are under development,
??changed:

* work on the reference volume of the book

 The reference volume is intended to provide complete lookup
<ol>
<li> work on the reference volume of the book<br>
<p> The reference volume is intended to provide complete lookup
??changed:
 This project would involve visiting each algebra file (approx
<p> This project would involve visiting each algebra file (approx
??changed:
* work on the tutorial volume of the book

 Propose and get agreement on a textbook (linear algebra for dummies?)
<li> work on the tutorial volume of the book<br>
<p> Propose and get agreement on a textbook (linear algebra for dummies?)
??changed:
 The subject matter could be chosen from any computational domain, e.g.
<p> The subject matter could be chosen from any computational domain, e.g.
??changed:
* literate documentation

 Axiom consists of literate programs. Each lisp, C, Makefile, etc is
<li> literate documentation<br>
<p> Axiom consists of literate programs. Each lisp, C, Makefile, etc is
??changed:
 There are several thousand files in Axiom each of which needs to be
<p> There are several thousand files in Axiom each of which needs to be
??changed:
* language translation

 Axiom is a worldwide project. It is used in multiple countries
<li> language translation<br>
<p> Axiom is a worldwide project. It is used in multiple countries
??changed:
 This requires that you be fluent in both languages. The result
<p> This requires that you be fluent in both languages. The result
??changed:

USER INTERFACE

* work on the windows version of the browser and graphics

 Axiom has a browser and a graphics component. Both of these
</ol>
<li>II. USER INTERFACE<br>
<ol>
<li> work on the windows version of the browser and graphics<br>
<p> Axiom has a browser and a graphics component. Both of these
??changed:
 Common Lisps can communicate with TK which provides a platform
<p> Common Lisps can communicate with TK which provides a platform
??changed:
* work on the wiki version of the browser and graphics

 An alternative project is to use a browser as the standard front
<li> work on the wiki version of the browser and graphics<br>
<p> An alternative project is to use a browser as the standard front
??changed:
 The task is to figure out how to get the wiki to accept the browser
<p> The task is to figure out how to get the wiki to accept the browser
??changed:

SYSTEM BUILDING and TESTING

* develop regression testing

 Axiom has several hundred test cases that are run during the
</ol>
<li>III. SYSTEM BUILDING and TESTING<br>
<ol>
<li> develop regression testing<br>
<p> Axiom has several hundred test cases that are run during the
??changed:
 The result should be integrated into the Axiom Makefile machinery.

* develop test cases

 Axiom has about 1100 "domains" which include about 11,000
<p> The result should be integrated into the Axiom Makefile machinery.
<li> develop test cases<br>
<p> Axiom has about 1100 "domains" which include about 11,000
??changed:
* test graphics code

 The Graphics component on Axiom has not been systematically
<li> test graphics code<br>
<p> The Graphics component on Axiom has not been systematically
??changed:
 The result should be a set of input files which recreate
<p> The result should be a set of input files which recreate
??changed:
 An alternative result is to modify the graphics code to
<p> An alternative result is to modify the graphics code to
??changed:

NEW FEATURES

* draganddrop

 Axiom uses Knuth's idea of literate programs as the basic file
</ol>
<li>IV. NEW FEATURES<br>
<ol>
<li> draganddrop<br>
<p> Axiom uses Knuth's idea of literate programs as the basic file
??changed:
 Given a literate program that includes axiom algebra code and
<p> Given a literate program that includes axiom algebra code and
??changed:
 The result should be a working demonstration.

* dvi organization

 As part of the build process Axiom generates hundreds of dvi
<p> The result should be a working demonstration.
<li> dvi organization<br>
<p> As part of the build process Axiom generates hundreds of dvi
??changed:
 The output should be a program that can be run to create the
<p> The output should be a program that can be run to create the
??changed:
* booklet mechanism

 Pamphlets use random names in code chunks. Develop a full URL
<li> booklet mechanism<br>
<p> Pamphlets use random names in code chunks. Develop a full URL
??changed:
 The result should be a rewrite of the booklet command.

* semantic markups

 In the future Axiom is intended to allow searches of the
<p> The result should be a rewrite of the booklet command.
<li> semantic markups<br>
<p> In the future Axiom is intended to allow searches of the
??changed:
 The result should be a latex.sty style file.

* flash integration

 Axiom does not know how to dynamically create flash files.
<p> The result should be a latex.sty style file.
<li> flash integration<br>
<p> Axiom does not know how to dynamically create flash files.
??changed:
 The task is to develop an interface that will allow algebra
<p> The task is to develop an interface that will allow algebra
??changed:

MATHEMATICAL WORK

* Field Theory Module (ala FeynCalc)

* Literate Program to implement "Primes is in P" algorithm

 Axiom has permission to use the paper "Primes is in P" as
</ol>
<li>V. MATHEMATICAL WORK<br>
<ol>
<li> Field Theory Module (a la 'FeynCalc')<br>
<li> Literate Program to implement "Primes is in P" algorithm<br>
<p> Axiom has permission to use the paper "Primes is in P" as
??changed:
 Implement the algorithm as a literate program (we already have
<p> Implement the algorithm as a literate program (we already have
??changed:
* Symbolic Summation algorithm

 There is an algorithm for computing Symbolic Sums but
<li> Symbolic Summation algorithm <br>
<p> There is an algorithm for computing Symbolic Sums but
??changed:
 The result should be a literate program that can do
<p> The result should be a literate program that can do
??changed:
* CATS, a Computer Algebra Test Suite

 There are many different computer algebra systems and they
<li>CATS, a Computer Algebra Test Suite<br>
<p> There are many different computer algebra systems and they
??changed:
 The National Institute of Standards and Technologies (NIST)
<p> The National Institute of Standards and Technologies (NIST)
??changed:
 The task would involve creating a taxonomy of symbolic
<p> The task would involve creating a taxonomy of symbolic
??changed:
 The result would be a taxonomy, the reference cases, the
<p> The result would be a taxonomy, the reference cases, the
??changed:
* Magnus integration

 Magnus is an open source implementation of infinite group
<li> Magnus integration<br>
<p> Magnus is an open source implementation of infinite group
??changed:
 These need to be extracted, documented, and implemented
<p> These need to be extracted, documented, and implemented
??changed:
 The first result would be the category/domain hierarchy
<p> The first result would be the category/domain hierarchy
??changed:
 The second and continuing result would be the implementation
<p> The second and continuing result would be the implementation
??changed:
* Expand Axiom's set of linear algebra algorithm's to
<li> Expand Axiom's set of linear algebra algorithm's to
??changed:
 common operations.

* Extend the functionality of Axiom's noncommutative
common operations.<br>
<li> Extend the functionality of Axiom's noncommutative
??changed:
 rulebased pattern matching.

* Implement a new Axiom mathematical category of directed graphs
rulebased pattern matching.<br>
<li> Implement a new Axiom mathematical category of directed graphs
??changed:
 structure of the Axiom library itself).

* Graph the algebra lattice

 Axiom has a large type lattice that needs to be documented.
structure of the Axiom library itself).<br>
<li> Graph the algebra lattice<br>
<p> Axiom has a large type lattice that needs to be documented.
??changed:
 The result would be a graph, likely using a dynamic visualization
<p> The result would be a graph, likely using a dynamic visualization
++added:
</ol>
</UL>
<br>
<center><font size=5><B>Summer of Code: Axiom Mentors</B></font></center>
<p>The following are possible mentors for some of the above projects.
Interested students should contact
Tim Daly and identify the project you want to work on. Potential mentors please
insert your info in alphabetical order (by last name).
<UL>
<li><a href="mailto: address@hidden">Tim Daly</a>, lead Axiom developer,
Carnegie Mellon University
<li><a href="mailto: address@hidden">William Sit</a>, Professor of Mathematics,
City College of New York
</UL>
++added:

forwarded from http://page.axiomdeveloper.org/zope/mathaction/address@hidden
[Prev in Thread] 
Current Thread 
[Next in Thread] 
 [Axiomdeveloper] [Summer of Code] display organization: please insert your info as mentor,
wyscc <=