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

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

1 2 3 ... 32 33 34 next

  1. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas: \ssfSC$^2$: satisfiability checking meets symbolic computation. (Project paper) (2016)
  2. Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof: mathcheck2: a SAT+CAS verifier for combinatorial conjectures (2016)
  3. Cimmelli, Vito A.; Oliveri, F.; Pace, A.Raffaele: Phase-field evolution in Cahn-Hilliard-Korteweg fluids (2016)
  4. Frutos Alfaro, Francisco; Carboni Méndez, Rodrigo: Magnetohydrodynamic equations (MHD) generation code (2016)
  5. Heinle, Albert; Levandovskyy, Viktor: A factorization algorithm for $G$-algebras and applications (2016)
  6. Nakpim, Warisa: Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations (2016)
  7. Paliathanasis, Andronikos; Leach, P.G.L.: Nonlinear ordinary differential equations: a discussion on symmetries and singularities (2016)
  8. Beloussov, Igor V.: Another formulation of the Wick’s theorem. Farewell, pairing? (2015)
  9. Cox, David A.; Little, John; O’Shea, Donal: Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra (2015)
  10. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: Real quantifier elimination by computation of comprehensive Gröbner systems (2015)
  11. Gubbiotti, G.; Nucci, M.C.: Quantization of quadratic Liénard-type equations by preserving Noether symmetries (2015)
  12. Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
  13. Kovács, Zoltán; Parisse, Bernard: Giac and GeoGebra -- improved Gröbner basis computations (2015)
  14. Montero-Camacho, Paulo; Frutos-Alfaro, Francisco; Gutiérrez-Cháves, Carlos; Cordero-García, Iván: Slowly rotating Curzon-Chazy metric (2015)
  15. Oussa, Vignon: Computing Vergne polarizing subalgebras (2015)
  16. Roberts, A. J.: Model emergent dynamics in complex systems (2015)
  17. Sturm, Thomas: Subtropical real root finding (2015)
  18. Achilles, Rüdiger; Manaresi, Mirella; Schenzel, Peter: A degree formula for secant varieties of curves (2014)
  19. Baekler, Peter; Favaro, Alberto; Itin, Yakov; Hehl, Friedrich W.: The Kummer tensor density in electrodynamics and in gravity (2014)
  20. Bailey, David H.; Borwein, Jonathan M.; Kaiser, Alexander D.: Automated simplification of large symbolic expressions (2014)

1 2 3 ... 32 33 34 next

Further publications can be found at: