REDUCE
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.
This software is also referenced in ORMS.
Keywords for this software
References in zbMATH (referenced in 741 articles , 4 standard articles )
Showing results 1 to 20 of 741.
Sorted by year (- Cimmelli, Vito Antonio; Gorgone, Matteo; Oliveri, Francesco; Pace, Angelo Raffaele: Weakly nonlocal thermodynamics of binary mixtures of Korteweg fluids with two velocities and two temperatures (2020)
- Gorgone, Matteo; Oliveri, Francesco: Lie remarkable partial differential equations characterized by Lie algebras of point symmetries (2019)
- Grigoriev, Yu. N.; Meleshko, S. V.; Suriyawichitseranee, A.: Group properties of equations of the kinetic theory of coagulation (2019)
- 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)
- Shpiz, G.; Kryukov, A.: Canonical representation of polynomial expressions with indices (2019)
- Thongjunthug, Thotsaphon: Nonintegrality of certain binomial sums (2019)
- Alexeyev, Alexander A.: A multidimensional superposition principle: classical solitons. IV (2018)
- Chaiyasena, A.; Worapitpong, W.; Meleshko, S. V.: Generalized Riemann waves and their adjoinment through a shock wave (2018)
- Di Salvo, Rosa; Gorgone, Matteo; Oliveri, Francesco: A consistent approach to approximate Lie symmetries of differential equations (2018)
- Gorgone, Matteo; Oliveri, Francesco: Approximate Q-conditional symmetries of partial differential equations (2018)
- Houston, Paul; Sime, Nathan: Automatic symbolic computation for discontinuous Galerkin finite element methods (2018)
- 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)
- Jamal, Sameerah: (n^\textth)-order approximate Lagrangians induced by perturbative geometries (2018)
- Kisil, Vladimir V.: An extension of Möbius-Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library (2018)
- Levandovskyy, Viktor; Heinle, Albert: A factorization algorithm for (G)-algebras and its applications (2018)
- Paliathanasis, Andronikos; Jamal, Sameerah: Approximate Noether symmetries and collineations for regular perturbative Lagrangians (2018)
- Beebe, Nelson H. F.: The mathematical-function computation handbook. Programming using the MathCW portable software library (2017)
- Gubbiotti, G.; Nucci, M. C.: Quantization of the dynamics of a particle on a double cone by preserving Noether symmetries (2017)
- Heinle, Albert; Levandovskyy, Viktor: Factorization of ( \mathbbZ)-homogeneous polynomials in the first (q)-Weyl algebra (2017)
- Krasil’shchik, Joseph; Verbovetskiy, Alexander; Vitolo, Raffaele: The symbolic computation of integrability structures for partial differential equations (2017)
Further publications can be found at: http://reduce-algebra.sourceforge.net/bibl/bib.html