• MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical 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]
  • reformulation-optimization 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 ... Reformulation-Optimization 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 add-on to Mathematica...
  • CAS/PI

  • Referenced in 22 articles [sw02186]
  • been developed by composition of pre-existing 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 custom-made 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...
  • ASpecPaired-Matrix

  • 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...
  • ASpecPaired-Scalar

  • 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 open-source 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 cross-platform software package for creating scientific plots. To help accomplish that ... using the enormous selection of Unicode mathematical symbols. A large subset of our Unicode-aware ... 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...