[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Summer of Code]
From: |
Tim Daly |
Subject: |
[Axiom-developer] [Summer of Code] |
Date: |
Thu, 02 Feb 2006 19:31:17 -0600 |
Changes http://wiki.axiom-developer.org/SummerOfCode/diff
--
--removed:
-<li> work on the tutorial volume of the book<br>
-
-<p> Propose and get agreement on a textbook (linear algebra for dummies?)
- or an online course (linear algebra at ocw.mit.edu?) and develop a
- tutorial based on the source material using Axiom. The tutorial should
- be organized so that it demonstrates a wide variety of Axiom's abilities
- such as graphics and the ability to generate user-defined browser pages.
- Ideally it should be useful for the classroom.
-
-<p> The subject matter could be chosen from any computational domain, e.g.
- math, physics, chemistry, biology, etc.
-
++added:
<p> Develop an automated generate-and-test program. Axiom allows
you to select domains and use these to build up types. A systematic
way of constructing types and elements of the types is needed.
Input could be from the databases which contain signature information
for all types and functions. Additionally it would be useful if the
test program parsed the expressions and kept all of the generated
tests in a tree so we could decide issues like coverage. The tree
should be searchable for both function and domain information.
--
forwarded from http://wiki.axiom-developer.org/address@hidden
- [Axiom-developer] [Summer of Code],
Tim Daly <=