[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


-<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 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.

<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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]