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 636 articles , 4 standard articles )

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

1 2 3 ... 30 31 32 next

  1. Cimmelli, Vito A.; Oliveri, F.; Pace, A.Raffaele: Phase-field evolution in Cahn-Hilliard-Korteweg fluids (2016)
  2. Frutos Alfaro, Francisco; Carboni Méndez, Rodrigo: Magnetohydrodynamic equations (MHD) generation code (2016)
  3. Nakpim, Warisa: Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations (2016)
  4. Paliathanasis, Andronikos; Leach, P.G.L.: Nonlinear ordinary differential equations: a discussion on symmetries and singularities (2016)
  5. Beloussov, Igor V.: Another formulation of the Wick’s theorem. Farewell, pairing? (2015)
  6. Cox, David A.; Little, John; O’Shea, Donal: Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra (2015)
  7. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  8. Gubbiotti, G.; Nucci, M.C.: Quantization of quadratic Liénard-type equations by preserving Noether symmetries (2015)
  9. Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
  10. Kovács, Zoltán; Parisse, Bernard: Giac and GeoGebra -- improved Gröbner basis computations (2015)
  11. Montero-Camacho, Paulo; Frutos-Alfaro, Francisco; Gutiérrez-Cháves, Carlos; Cordero-García, Iván: Slowly rotating Curzon-Chazy metric (2015)
  12. Oussa, Vignon: Computing Vergne polarizing subalgebras (2015)
  13. Roberts, A. J.: Model emergent dynamics in complex systems (2015)
  14. Sturm, Thomas: Subtropical real root finding (2015)
  15. Achilles, Rüdiger; Manaresi, Mirella; Schenzel, Peter: A degree formula for secant varieties of curves (2014)
  16. Baekler, Peter; Favaro, Alberto; Itin, Yakov; Hehl, Friedrich W.: The Kummer tensor density in electrodynamics and in gravity (2014)
  17. Bailey, David H.; Borwein, Jonathan M.; Kaiser, Alexander D.: Automated simplification of large symbolic expressions (2014)
  18. Bozhkov, Y.; Dimas, S.: Group classification of a generalization of the Heath equation (2014)
  19. Ferapontov, E.V.; Pavlov, M.V.; Vitolo, R.F.: Projective-geometric aspects of homogeneous third-order Hamiltonian operators (2014)
  20. Giesbrecht, Mark; Heinle, Albert; Levandovskyy, Viktor: Factoring linear differential operators in $n$ variables (2014)

1 2 3 ... 30 31 32 next

Further publications can be found at: