|Super Teacher Worksheets|
Free printable math, reading, writing, grammar, and spelling activities for teachers. Includes counting money, fractions, multiplication tables, handwriting, phonics, puzzles and brain teasers, early learning, and seasonal and holiday worksheets.
|http://www.superteacherworksheets.com||site info |
System for computer and commutative algebra. It computes Gröbner bases, syzygies and minimal free resolutions, intersections, divisions, the radical of an ideal, Poincaré series, Hilbert functions and factorization of polynomials.
Type-complete, strongly-typed, imperative programming language with a two-level object model of categories and domains. Improved extension language for the Axiom algebra system; captures the high-level objects and relationships in modern mathematics.
|LAPACK - Linear Algebra PACKage|
Provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems and singular value problems. Written in Fortran77.
Graphing and mathematical modeling program for algebra, trigonometry and precalculus classes, as well as mathematical model scientific data. Algebra computer lab assignments including linear equations, systems of linear equations, quadratic equations.
Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry and singularity theory. The main computational objects are ideals/modules over very general polynomial rings over various ground fields.
Symbolic mathematics program - manipulates and simplifies equations, scalars, vectors and matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals and algebraic differential and holonomic functions.
Draw scientific and mathematical diagrams - Feynman diagrams, QED, QCD, topological diagrams, string or other particle physics diagrams. Also allows to scale, print, and save diagrams as images. A large number of sample predrawn diagrams.
School, corporate, and educational software for Palm and Windows, with teaching tools for standardized test, and quiz preparedness, math, Spanish, vocabulary building, and other learning activities.
|GiNaC is not a CAS|
Open framework for symbolic computation within the C++ programming language. Allows the creation of integrated systems that embed different areas of computer science like computation, graphical interfaces, intense numeric applications.