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

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

1 2 3 ... 34 35 36 next

  1. 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)
  2. Chaiyasena, A.; Worapitpong, W.; Meleshko, S. V.: Generalized Riemann waves and their adjoinment through a shock wave (2018)
  3. Di Salvo, Rosa; Gorgone, Matteo; Oliveri, Francesco: A consistent approach to approximate Lie symmetries of differential equations (2018)
  4. Gorgone, Matteo; Oliveri, Francesco: Approximate Q-conditional symmetries of partial differential equations (2018)
  5. Houston, Paul; Sime, Nathan: Automatic symbolic computation for discontinuous Galerkin finite element methods (2018)
  6. 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)
  7. Jamal, Sameerah: (n^\textth)-order approximate Lagrangians induced by perturbative geometries (2018)
  8. Levandovskyy, Viktor; Heinle, Albert: A factorization algorithm for (G)-algebras and its applications (2018)
  9. Paliathanasis, Andronikos; Jamal, Sameerah: Approximate Noether symmetries and collineations for regular perturbative Lagrangians (2018)
  10. Beebe, Nelson H. F.: The mathematical-function computation handbook. Programming using the MathCW portable software library (2017)
  11. Heinle, Albert; Levandovskyy, Viktor: Factorization of ( \mathbbZ)-homogeneous polynomials in the first (q)-Weyl algebra (2017)
  12. Krasil’shchik, Joseph; Verbovetskiy, Alexander; Vitolo, Raffaele: The symbolic computation of integrability structures for partial differential equations (2017)
  13. Mkhize, T. G.; Govinder, K.; Moyo, S.; Meleshko, S. V.: Linearization criteria for systems of two second-order stochastic ordinary differential equations (2017)
  14. Shan’ko, Yu. V.: Solution of the Ovsyannikov problem of two-dimensional isothermal motion of a polytropic gas (2017)
  15. Á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: \textsfSC(^2): satisfiability checking meets symbolic computation. (Project paper) (2016)
  16. Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof: \textscmathcheck2: a SAT+CAS verifier for combinatorial conjectures (2016)
  17. Cimmelli, Vito A.; Oliveri, F.; Pace, A. Raffaele: Phase-field evolution in Cahn-Hilliard-Korteweg fluids (2016)
  18. Frutos Alfaro, Francisco; Carboni Méndez, Rodrigo: Magnetohydrodynamic equations (MHD) generation code (2016)
  19. Heinle, Albert; Levandovskyy, Viktor: A factorization algorithm for (G)-algebras and applications (2016)
  20. Nakpim, Warisa: Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations (2016)

1 2 3 ... 34 35 36 next

Further publications can be found at: