|
|
|
last edited 1 year ago by test1 |
Edit detail for Found Objects revision 2 of 4
| 1 2 3 4 | ||
|
Editor: Bill page
Time: 2014/12/10 20:18:02 GMT+0 |
||
| Note: fix link to ref | ||
changed: -http://www.math.utah.edu/pub/tex/bib/axiom.dvi -- A Bibliography of Publications about AXIOM; Nelson Beebe; 2002. Also available in searchable bibtex form here: http://portal.axiom-developer.org/refs http://www.math.utah.edu/pub/tex/bib/axiom.dvi -- A Bibliography of Publications about AXIOM; Nelson Beebe; 2002. Also available in searchable bibtex form here: http://axiom-wiki.newsynthesis.org/public/refs/
If you have a lot of spare time, you might want to classify those pages, accidentally stumbled across:
- http://www.dcs.st-and.ac.uk/~tom/pub/papers.html
- Tom Kelsey's refereed papers and theses; Formal methods in computational mathematics
- http://www.math.utah.edu/pub/tex/bib/axiom.dvi
- A Bibliography of Publications about AXIOM; Nelson Beebe; 2002. Also available in searchable bibtex form here: http://axiom-wiki.newsynthesis.org/public/refs/
- http://www-troja.fjfi.cvut.cz/~liska/ca/all.html
- COMPUTER ALGEBRA, Algorithms, Systems and Applications Richard Liska, Ladislav Drska, Jiri Limpouch, Milan Sinor, Michael Wester, Franz Winkler; June 2, 1997
- http://groups.google.com/group/sci.math.symbolic/browse_frm/thread/7e9ff7c70819b2ee/dff745baf319d203?lnk=st&q=&rnum=2&hl=en#dff745baf319d203
- a topic from sci.math.symbolic "On Axiom"
- GiNaC?
- is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces, etc.) under one roof... accepts a given language (C++) and extends it by a set of algebraic capabilities.