|
|
last edited 5 years ago by test1 |
1 2 | ||
Editor: test1
Time: 2019/07/09 13:16:45 GMT+0 |
||
Note: |
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. The Colloquium's purpose is two-fold: 1) for the participants to share and discuss theory, practical experiences and insights regarding FriCAS, and 2) to assist others concerned with FriCAS 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. changed: - implement BNatural using Aldor as an extension of the open source - version of Axiom. implement BNatural using Aldor. changed: - Discussion on the design of units package for Axiom Discussion on the design of units package for FriCAS
The Colloquium's purpose is two-fold: 1) for the participants to share and discuss theory, practical experiences and insights regarding FriCAS, and 2) to assist others concerned with FriCAS 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://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.
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 FriCAS
Discussion on implementation of Union