
MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical mathematics software product. Computer algebra system ... large Macsyma program. Macsyma offers: symbolic and numeric manipulation and solution capabilities in algebra, calculus...

Theorema
 Referenced in 145 articles
[sw00961]
 software technologic frame for proving, solving, and simplifying formulae in all areas of mathematics. Theorema ... developed at the Research Institute for Symbolic Computation (RISC), Austria...

DERIVE
 Referenced in 65 articles
[sw02964]
 software Derive 6 is a powerful system for doing symbolic and numeric mathematics on your...

ROSE
 Referenced in 22 articles
[sw07851]
 reformulationoptimization software engine. Most optimization software performs numerical computation, in the sense that ... optimization problem. In mathematical programming, however, a considerable amount of symbolic transformation is essential ... ReformulationOptimization Software Engine (ROSE) for performing (automatic) symbolic computation on mathematical programming formulations...

mathStatica
 Referenced in 18 articles
[sw07362]
 computational and mathematical point of view, using the powerful computer software Mathematica as support ... advanced numeric and symbolic computations. Mathematica is not just a specialized statistical package (like SPSS ... symbolic/algebraic engine oriented to problem solving in mathematical statistics. Mathematica is running on a wide ... present book is bundled with the special software package mathStatica, an addon to Mathematica...

CAS/PI
 Referenced in 22 articles
[sw02186]
 been developed by composition of preexisting software tools such as Maple, Sisyphe, or Ulysse ... tools, to extend the set of graphic symbols managed by the formula editor, to design ... based on the syntax or semantics of mathematical formulas, to customize and extend the menu ... allow fast development of custommade scientific software environments, or a very convenient framework...

LIEDRIVERS
 Referenced in 1 article
[sw19010]
 mathematics and physics. They are usually computed symbolically using computer algebra software. This symbolic computation...

Faddeyeva
 Referenced in 1 article
[sw27135]
 software package and the Matlab Special Functions of Applied Mathematics (SFAM) in the symbolic toolbox...

MASA
 Referenced in 2 articles
[sw18192]
 problems stemming from numerical methods in mathematical physics including nonlinear equations, systems of algebraic equations ... process of scientific software verification, manufactured solution generation using symbolic manipulation with computer algebra systems...

Gajit
 Referenced in 1 article
[sw32630]
 Gajit: Symbolic Optimisation and JIT Compilation of Geometric Algebra in Python with GAALOP and Numba ... Modern Geometric Algebra software systems tend to fall into one of two categories, either fast ... mathematics or slow, easy to use, dynamically typed and syntactically close to the mathematical conventions ... then to optimise our code both symbolically with GAALOP [2] and via the LLVM pipeline...

ASpecPairedMatrix
 Referenced in 2 articles
[sw15022]
 software applications were made available to the general public with extensive capabilities of symbolic computation ... significant part, of the symbolic calculations present in many mathematical algorithms. In our work...

ASpecPairedScalar
 Referenced in 2 articles
[sw15023]
 software applications were made available to the general public with extensive capabilities of symbolic computation ... significant part, of the symbolic calculations present in many mathematical algorithms. In our work...

Euler
 Referenced in 0 articles
[sw05405]
 combining numerical and symbolic tools in one free package. The software has been developed ... maintained by R. Grothmann, professor of mathematics at the University of Eichstätt, together with ... needs to do numerical mathematics, optimization, statistics, symbolic or integer mathematics from the beginning student...

Casyopee
 Referenced in 2 articles
[sw12437]
 Casyopée is a free opensource software environment for the learning of functions at secondary ... making numeric, graphic and formal exploration of mathematical functions easier. A dynamic geometry unit, integrated ... student in his/her activities, thanks to symbolic computation. With Casyopée, power means neither complexity...

MATeX
 Referenced in 1 article
[sw25913]
 Automatically generated mathematical problems and solutions. Efficient teaching and learning with MATLAB: Komponenten und Schnittstellen ... diesem Kapitel werden die grundlegende Struktur des Software Roboters MATEX sowie die Arbeiten ... Kapiteln 2.2 – 2.4 die Grundpfeiler MATLAB, Symbolic Math Toolbox und LATEX, auf denen MATEX aufbaut...

DataMelt
 Referenced in 0 articles
[sw15992]
 DataMelt is a free mathematics software for scientists, engineers and students. It can be used ... numeric computation, statistics, symbolic calculations, data analysis and data visualization. DataMelt, or DMelt...

ObjectMath
 Referenced in 3 articles
[sw12685]
 paper, whereas the corresponding numerical software often is developed manually in Fortran or C. This ... ObjectMath, complex mathematical models may be structured in an objectoriented way, symbolically simplified, and transformed...

PLplot
 Referenced in 2 articles
[sw07488]
 PLplot is a crossplatform software package for creating scientific plots. To help accomplish that ... using the enormous selection of Unicode mathematical symbols. A large subset of our Unicodeaware ... device dependent routines. PLplot is free software primarily licensed under the LGPL...

ACDP
 Referenced in 1 article
[sw34572]
 turn out computationally infeasible. The symbolic derivation of adjoint mathematical models for relevant problems ... computer science. It becomes a highly complex software engineering task requiring expertise in software analysis...

pyodesys
 Referenced in 2 articles
[sw29025]
 fields. There exists a large number of software libraries for solving these systems, each requiring ... represent the system symbolically. This allows pyodesysto derive the Jacobian matrix symbolically (which is both ... representation allows the user to manipulate the mathematical representation symbolically. This is achieved by using...