Edit detail for FriCAS Colloquium revision 1 of 2

changed:
-
The Colloquium's purpose is two-fold: 1) for the participants to share and discuss theory, practical experiences and insights regarding Axiom, and 2) to assist others concerned with Axiom and computer algebra in general, through publication and dissemination of the key points that emerged from the exchange of views thus suggesting useful options and alternative approaches to various issues.

Discussion - even long and detailed discussion is **encouraged**.

Current Topics

  - BNatural

    B# (pronounced B natural) was a non-typed beginner's user
    interface for Axiom proposed by Janks and Trager in their
    1994 paper: "How to Make Axiom into a ScratchPad"

    http://axiom-wiki.newsynthesis.org/public/refs/axiom-scratchpad.pdf

    BNatural was never implemented because at about the same time
    IBM decided to discontinue Axiom as a research project and turn
    it over to Numerical Algorithms Group to market as a commercial
    product. But a new project has been proposed to attempt to
    implement BNatural using Aldor as an extension of the open source
    version of Axiom.

  - [Complex Polynomial]

    Should that be 'p:Complex Polynomial Integer' or
    'p:Polynomial Complex Integer'? Is 'conjugate(p)' of
    the same type as 'p'?

  - [Imitation As Complement]

    other websites similar to MathAction

  - [Tuples Products And Records]

    How to write f:A->(B,C) in Axiom

  - [Units and Dimensions]

    Discussion on the design of units package for Axiom

  - [IndexedUnion]

    Discussion on implementation of Union

  - [Type Equivalence] in Axiom and Aldor

  - [Axiom and Maple] comments about Axiom in "An interview with Gaston Gonnet"


  - [Edit this page to add new headings, Save and then
    click ? to add a new topic]