| 1 2 | ||
|
Editor: Bill Page
Time: 2008/08/14 16:30:31 GMT-7 |
||
| Note: created link to new page | ||
added: - [Type Equivalence] in Axiom and Aldor added:
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.
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://portal.axiom-developer.org/refs/articles/axiom-scratchpad.pdf/view
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.
Should that be p:Complex Polynomial Integer or
p:Polynomial Complex Integer? Is conjugate(p) of
the same type as p?
other websites similar to MathAction
How to write f:A->(B,C) in Axiom
Discussion on the design of units package for Axiom
Discussion on implementation of Union