Re: Symbolic Math as Computer Science

Hatto von Aquitanien <abbot@xxxxxxxxxxxxxx> writes:

> For one, I don't believe complex numbers would be primitive objects in the
> way they are in Mathematica. Overall, I would probably try to establish a
> better type system. I'm still not sure why Mathematica lacks a real data
> type mechanism. I certainly think of mathematical objects appearing in
> pencil and paper expressions as having specific types. Those are usually the
> first things I define when solving a problem.

You might want to look at Aldor and/or Axiom.

Martin
.

Relevant Pages

  • Re: Symbolic Math as Computer Science
    ... I don't believe complex numbers would be primitive objects ... >> way they are in Mathematica. ... Are these system more 'typed' than Maple? ... Matlab has just a matrix type where a vector is just a matrix of one ...
    (sci.math.symbolic)
  • Re: Symbolic inverse of a 12x12 matrix
    ... > I am solving a problem using f95 that involves solving a 12x12 coupled ... > linear system. ... > prior attempt to run it with Mathematica 4.1 (single processor Pentium M ... I have sparingly used maxima ...
    (sci.math.symbolic)
  • Re: Symbolic inverse of a 12x12 matrix
    ... >> I am solving a problem using f95 that involves solving a 12x12 coupled ... As bourne out by your execution times. ... The long execution time seems to be related to the time Mathematica spends ... on rendering the result as Marcus pointed out. ...
    (sci.math.symbolic)
  • Re: Symbolic inverse of a 12x12 matrix (Interesting developments)
    ... > I am solving a problem using f95 that involves solving a 12x12 coupled ... > prior attempt to run it with Mathematica 4.1 (single processor Pentium M ... > human readable format using MatrixForm. ... Out of a hunch, I just exported the notebook to text, and used "math" (the ...
    (sci.math.symbolic)
  • Re: Symbolic inverse of a 12x12 matrix
    ... > I am solving a problem using f95 that involves solving a 12x12 coupled ... > prior attempt to run it with Mathematica 4.1 (single processor Pentium M ... is that also a tool worth trying? ... The symbolic inverse of a 12x12 matrix is a fairly tall order. ...
    (sci.math.symbolic)