login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

If you have a lot of spare time, you might want to classify those pages, accidentally stumbled across:

Tom Kelsey's refereed papers and theses; Formal methods in computational mathematics
A Bibliography of Publications about AXIOM; Nelson Beebe; 2002. Also available in searchable bibtex form here: http://wiki.fricas.org/public/refs/
COMPUTER ALGEBRA, Algorithms, Systems and Applications Richard Liska, Ladislav Drska, Jiri Limpouch, Milan Sinor, Michael Wester, Franz Winkler; June 2, 1997
a topic from sci.math.symbolic "On Axiom"
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.

  Subject:   Be Bold !!
  ( 14 subscribers )  
Please rate this page: