fast C++ library for linear algebra & scientific computing
fast C++ library for GPU linear algebra & scientific computing
Interactive Program For Calculating Properties Of Symmetric Functions
Software for electromagnetic simulation
Computer Assisted Proofs in Dynamics
A system for computer algebra and symbolic mathematics