|
|
|
last edited 16 years ago by hemmecke |
Edit detail for WorkShopRISC2008 revision 9 of 51
| 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 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 | ||
|
Editor: hemmecke
Time: 2008/07/25 11:26:28 GMT-7 |
||
| Note: | ||
added:
Participants:
- Michael Abshoff
- Christian Aistleitner
- Gabriel Dos Reis
- Johannes Grabmeier
- Waldek Hebisch
- Ralf Hemmecke
- Marc Moreno Maza
- Bill Page
- Pippijn van Steenhoven
- Emil Volcheck
- Stephen Watt
- Yuzhen Xie
|
Aldor & Axiom Workshop 2008 part of 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. |
Program
The workshop starts on July 24, 2008 at 8:30 in the RISC seminar room.
Registration
Registration is handled via the general RISC Summer 2008 Registration. The fee (30 EUR) 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. We will begin with an introduction to Axiom and the Aldor language, including a comparison with the approach employed by Sage and Python.
We then plan to cover the following topics:
- Aldor, SPAD, and the Axiom interpreter
- 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).
- interaction of Axiom with other systems
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.
- problems implementing mathematics in Aldor and SPAD
We would like to tackle some particularly challenging implementation problems, including
- 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, etc.
Suggested reading:
- Aldor User Guide
- svn://svn.risc.uni-linz.ac.at/hemmecke/combinat/branches/multisort-experiment/combinat/src/mspecies.as.nw
Travel information:
- Information can be found on the page How to reach RISC
Participants:
- Michael Abshoff
- Christian Aistleitner
- Gabriel Dos Reis
- Johannes Grabmeier
- Waldek Hebisch
- Ralf Hemmecke
- Marc Moreno Maza
- Bill Page
- Pippijn van Steenhoven
- Emil Volcheck
- Stephen Watt
- Yuzhen Xie
Organisers: Ralf Hemmecke and Martin Rubey