help links subscribe changes refresh edit

	WorkShopRISC2008
	↑

SandboxWorkShopRISC2008

last edited 15 years ago by hemmecke

Edit detail for SandboxWorkShopRISC2008 revision 11 of 27

	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
Editor: kratt6 Time: 2008/04/27 12:30:58 GMT-7
Note:

changed:
-
-Tentative Schedule
-
-  The workshop will be organized as a mixture of talks and discussions.
-
-  Tentative Topics that we like to cover.
-
-  - why should we put our energy into Axiom/Aldor development?
-
-  - combined Axiom/Aldor distribution
-
-    - Using Axiom for Aldor development
-
-    - solution of the licensing issues
-
-  - language issues
-
-    - a comparison of Aldor and Python
-
-    - improvement of Aldor / SPAD
-
-  - conversion of Axiom library to Aldor
-
-  - Aldor and Axiom integration with other systems 
-
-    - Sage, or
-
-    - Gap, Polymake, etc.?
-
-  - Aldor project organization
-
-    - Algebraist parallel development site
-
-    - Algebraist Network
-
-  - challenges for Computer Algebra language design
-
-    - Combintorial Species, the multisort case
-
-    - category theory
-
-
Topics

  Similar to "2006":Workshop2006 and "2007":Workshop2007, the workshop will be organized 
as a mixture of talks and discussions.  After an introduction to the Aldor language and a short introduction to Axiom, we plan to cover the following topics:

  - Aldor, SPAD, and the Axiom interpreter

    In this section, we would like to 

    - work on SPAD (eg., allow arbitrary conditional exports),

    - work on the Axiom interpreter (eg., it's signature selection algorithm), and

    - improve the Axiom-Aldor interaction (eg., make Axiom understand Aldor's extend or dependent signatures generated in Aldor code).

  - Axiom and the rest of the world

    In this section, we would like to explore the possibility and the usefulness of reusing third party code like PARI, GAP, Polymake, etc., but also interfacing with SAGE.

  - some particular problems implementing mathematics in Aldor and SPAD

    In this section we would like to tackle some particularly challenging implementation problems.  For example,

    - combinatorial species - the multisort case

    - how to organize domains and categories for recurrences and functions

    - how to organize aggregates and matrices, in particular how to ensure efficient looping over aggregate elements


  Of course, there will also be some time to discuss some of the pressing issues concerning licensing issues of Aldor,
the possibility of a combined Axiom and Aldor distribution.

<HR>

Suggested reading:

  - "Aldor User Guide":http://www.aldor.org/mediawiki/index.php/User_Guides_for_Compiler_and_Libraries

  - svn://svn.risc.uni-linz.ac.at/hemmecke/combinat/branches/multisort-experiment/combinat/src/mspecies.as.nw

Aldor & Axiom Workshop 2008

part of

RISC Summer 2008

Hagenberg, Austria

24-26 July 2008

The workshop aims at a cooperation of Aldor, Axiom, OpenAxiom?, and FriCAS? developers with developers of packages written for other Computer Algebra Systems, and mathematicians that would like to use a computer algebra system to perform experiments.

Registration

Registration is not yet opened. It will be handled via the general RISC Summer 2008 Registration. The fee does not cover hotel, lunch, dinner, and transportation to Hagenberg. You may reserve a hotel room in Hagenberg through the registration page.

Topics

Similar to 2006 and 2007, the workshop will be organized as a mixture of talks and discussions. After an introduction to the Aldor language and a short introduction to Axiom, we plan to cover the following topics:

Aldor, SPAD, and the Axiom interpreter
In this section, we would like to
- work on SPAD (eg., allow arbitrary conditional exports),
- work on the Axiom interpreter (eg., it's signature selection algorithm), and
- improve the Axiom-Aldor interaction (eg., make Axiom understand Aldor's extend or dependent signatures generated in Aldor code).
Axiom and the rest of the world
In this section, we would like to explore the possibility and the usefulness of reusing third party code like PARI, GAP, Polymake, etc., but also interfacing with SAGE.
some particular problems implementing mathematics in Aldor and SPAD
In this section we would like to tackle some particularly challenging implementation problems. For example,
- combinatorial species - the multisort case
- how to organize domains and categories for recurrences and functions
- how to organize aggregates and matrices, in particular how to ensure efficient looping over aggregate elements

Of course, there will also be some time to discuss some of the pressing issues concerning licensing issues of Aldor, the possibility of a combined Axiom and Aldor distribution.