[ANN] Axiom Workshop 2006 -- Final Announcement



Dear all,

this is the final announcement of the Axiom Workshop 2006 at the RISC in
Hagenberg.

Please note that it is not at all a prerequesite to be familiar with the
computer algebra system axiom. In particular, the talks will address issues
inherent to symbolic computation in general, and not any particular system.

The schedule is as follows:

Thursday, April 27

10:00 M. Rubey Opening and Introduction to Axiom
11:00 C. Schneider Sigma - A package for multi-summation
12:00 Lunch
14:00 N. Thiery Implementing Algebraic Combinatorics - some
experiences with MuPAD-Combinat
15:00 R. Hemmecke Introduction to Aldor I
16:00 Workshop I


Friday, April 28

10:00 P. Hlineny MACEK - real structural computations with
matroids
11:00 B. Gittenberger Extended admissible functions
12:00 Lunch
15:00 R. Hemmecke Introduction to Aldor II
16:00 Workshop II


Saturday, April 29

09:00 M. Rubey Guessing formulas for sequences
10:00 A. Hersen Implementing a hierarchy of Recurrences
11:00 Workshop III: Presentation of Results



I hope to see you soon,


Martin Rubey


-------------------------------------------------------------------------------
_
(_)
__ ___ ___ ___ _ __ ___
/ _` \ \/ / |/ _ \| '_ ` _ \
| (_| |> <| | (_) | | | | | |
\__,_/_/\_\_|\___/|_| |_| |_|
_
(_)

__ ______ _____ _ __ _____ _ _ ____ _____
\ \ / / __ \| __ \| |/ // ____| | | |/ __ \| __ \
\ \ /\ / / | | | |__) | ' /| (___ | |__| | | | | |__) |
\ \/ \/ /| | | | _ /| < \___ \| __ | | | | ___/
\ /\ / | |__| | | \ \| . \ ____) | | | | |__| | |
\/ \/ \____/|_| \_\_|\_\_____/|_| |_|\____/|_|

___ ___ ___ __
|__ \ / _ \ / _ \ / /
) | | | | | | |/ /_
/ /| | | | | | | '_ \
/ /_| |_| | |_| | (_) |
|____|\___/ \___/ \___/



Domain Specific Packages and their Mathematics


with a special focus on


Discrete Mathematics


It will take place at the Research Institute for Symbolic Computation

http://www.risc.uni-linz.ac.at

in Hagenberg, Austria

http://www.risc.uni-linz.ac.at/about/map

from Thursday, April 27, 10 am, to Saturday, April 29, noon.

-------------------------------------------------------------------------------

Axiom is a Computer Algebra System with a long tradition. It recently became
free software. See http://www.axiom-developer.org for more details.


The workshop aims at a cooperation of Axiom developers with developers of
packages written for other Computer Algebra Systems or developers of
stand-alone packages. Furthermore, the workshop wants to make the potential of
Axiom and Aldor more widely known in order to attract new users and new
developers.


If you would like to attend the workshop, please send a message to
axiomize@xxxxxxxxx


There is no conference fee, but it is expected that participants pay
accommodation and meals themselves. There is a limited number of rooms
available in Hagenberg for approximately 26 EUR/night. Contact
axiomize@xxxxxxxx for details.

-------------------------------------------------------------------------------


Organisers: Ralf Hemmecke
Martin Rubey

Email: axiomize@xxxxxxxx

Homepage: http://axiom-developer.org/workshop
.



Relevant Pages

  • [ANN] Axiom Workshop 2006 - rescheduled!
    ... Domain Specific Packages and their Mathematics ... Axiom is a Computer Algebra System with a long tradition. ... The workshop aims at a cooperation of Axiom developers with developers of ...
    (sci.math.symbolic)
  • Re: Steps towards writing a computer algebra system
    ... > good to have a computer algebra system that comes with complete ... Axiom was originally written at IBM Research (I'm one of the original ... Almost all of them disappeared because the funding ran out. ... Computational mathematics differs from other software in that respect. ...
    (sci.math.symbolic)
  • [ANN] Axiom Workshop 2007 - second announcement
    ... Axiom is a Computer Algebra System with a long tradition. ... Francois Descouens Symmetric functions and Hopf algebras ... Usage and design in MuPAD-Combinat ...
    (sci.math.symbolic)
  • Re: mupad
    ... Axiom looks absolutely dead for a non-programmer. ... looks like the developers produce forks, ... And, after all, you should take into account that aldor is semi-free now (since ... I authored a guessing package, which is currently state of the art (i.e., ...
    (sci.math.symbolic)
  • [ANN] Axiom Workshop 2007
    ... Axiom is a Computer Algebra System with a long tradition. ... Calculations in character Hopf algebras using SCHUR and Maple ... Symmetric functions in MAGMA ...
    (sci.math.symbolic)