REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced by a collaborative effort involving many contributors. Its capabilities include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution of a variety of algebraic equations; facilities for the output of expressions in a variety of formats; facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety of special functions; Dirac matrix calculations of interest to high energy physicists.

This software is also referenced in ORMS.

References in zbMATH (referenced in 740 articles , 4 standard articles )

Showing results 1 to 20 of 740.
Sorted by year (citations)

1 2 3 ... 35 36 37 next

  1. Gorgone, Matteo; Oliveri, Francesco: Lie remarkable partial differential equations characterized by Lie algebras of point symmetries (2019)
  2. Grigoriev, Yu. N.; Meleshko, S. V.; Suriyawichitseranee, A.: Group properties of equations of the kinetic theory of coagulation (2019)
  3. Roanes-Lozano, Eugenio; Galán-García, Jose Luis; Solano-Macías, Carmen: Some reflections about the success and impact of the computer algebra system \textitDERIVEwith a 10-year time perspective (2019)
  4. Shpiz, G.; Kryukov, A.: Canonical representation of polynomial expressions with indices (2019)
  5. Thongjunthug, Thotsaphon: Nonintegrality of certain binomial sums (2019)
  6. Alexeyev, Alexander A.: A multidimensional superposition principle: classical solitons. IV (2018)
  7. Chaiyasena, A.; Worapitpong, W.; Meleshko, S. V.: Generalized Riemann waves and their adjoinment through a shock wave (2018)
  8. Di Salvo, Rosa; Gorgone, Matteo; Oliveri, Francesco: A consistent approach to approximate Lie symmetries of differential equations (2018)
  9. Gorgone, Matteo; Oliveri, Francesco: Approximate Q-conditional symmetries of partial differential equations (2018)
  10. Houston, Paul; Sime, Nathan: Automatic symbolic computation for discontinuous Galerkin finite element methods (2018)
  11. Huf, P. A.; Carminati, J.: Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE (2018)
  12. Jamal, Sameerah: (n^\textth)-order approximate Lagrangians induced by perturbative geometries (2018)
  13. Kisil, Vladimir V.: An extension of Möbius-Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library (2018)
  14. Levandovskyy, Viktor; Heinle, Albert: A factorization algorithm for (G)-algebras and its applications (2018)
  15. Paliathanasis, Andronikos; Jamal, Sameerah: Approximate Noether symmetries and collineations for regular perturbative Lagrangians (2018)
  16. Beebe, Nelson H. F.: The mathematical-function computation handbook. Programming using the MathCW portable software library (2017)
  17. Gubbiotti, G.; Nucci, M. C.: Quantization of the dynamics of a particle on a double cone by preserving Noether symmetries (2017)
  18. Heinle, Albert; Levandovskyy, Viktor: Factorization of ( \mathbbZ)-homogeneous polynomials in the first (q)-Weyl algebra (2017)
  19. Krasil’shchik, Joseph; Verbovetskiy, Alexander; Vitolo, Raffaele: The symbolic computation of integrability structures for partial differential equations (2017)
  20. Mkhize, T. G.; Govinder, K.; Moyo, S.; Meleshko, S. V.: Linearization criteria for systems of two second-order stochastic ordinary differential equations (2017)

1 2 3 ... 35 36 37 next

Further publications can be found at: