math-polyglot project

As to the aim and the license, please read license.txt
This is an experimental distribution and our samples are updated everyday. Please look up the cite math-polyglot2 to get the latest collections.
We welcome your contributions. Please send a mail to takayama@math.kobe-u.ac.jp with the subject "math-polyglot" if you are interested in this project.
Stage 2. Introductory inputs for IMA demo/tutorial session

*Differential equation
  **  Finding a rank and solving an overdetermined systems of differential equations.

*Language
  **  Define a function and load it. , M2, R, Singular, asir, cocoa, gap, ginac, hol, kash, math, mupad, nzmath, sage, sm1, tc
  **  Read [1,2,3] from a file. Write [1,2,3] to a file. (Input data and output data) , asir

*Optimization
  **  Find an SOS expression of a give polynomial. , sostools
  **  Computing Nash equilibria for gains and loses of two players. 

*Poly (The ring of polynomials)
  **  Elimination of variables , M2, Singular, asir, axiom, cocoa, hol, mupad, phc, sage, sm1
  **  Factorization of polynomials , Singular, asir, hol(proof), kash, math, mupad, nzmath, sage, tc
  **  Computing the image of a polynomial map
  **  Finding complex and real solutions of systems of equations. Cyclic4. 
  **  Primary ideal decomposition or irreducible decomposition. Cyclic4. 
  **  Reverse engineering in biology. Interpolation problem. 

*Polynomial and polytope
  **  Computing the Grobner fan of the toric ideal I for 1-simplex x 2-simplex. 
  **  Computing the tropical variety of 2 linear forms in 4 variables. 

*Polytope (polytope)
  **  Convex hull , asir, mupad, polymake, sage



List of contributors