REDUCE

No author found.

Related Items (only showing first 100 items - show all)

Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations ⋮ Group classification of a generalization of the Heath equation ⋮ The Kummer tensor density in electrodynamics and in gravity ⋮ Let's Lie: A miraculous haul of fishes ⋮ Phase-field evolution in Cahn-Hilliard-Korteweg fluids ⋮ Orderings for term-rewriting systems ⋮ A bridge between dynamic geometry and computer algebra ⋮ Group classification of two-dimensional stable viscous gas equations ⋮ An evolutionary search technique to determine natural frequencies and mode shapes of composite Timoshenko beams ⋮ Numerical solution of multinephron Kidney equations ⋮ Factorization of Laplace operators on higher spin representations ⋮ Derivation of Korteweg-de Vries flow equations from nonlinear Schrödinger equation ⋮ A new method for calculation of traces of Dirac \(\gamma\)-matrices in Minkowski space ⋮ A unified approach to computation of integrable structures ⋮ On the classification of similarity solutions of a two-dimensional diffusion-advection equation ⋮ Focal values of plane cubic centers ⋮ Hidden linearity in systems for competition with evolution in ecology and finance ⋮ Lie integrable cases of the simplified multistrain/two-stream model for tuberculosis and dengue fever ⋮ Classical Lie point symmetry analysis of a steady nonlinear one-dimensional fin problem ⋮ Kukles revisited: Advances in computing techniques ⋮ Many conserved quantities induced by Lie symmetries of a Lagrangian system ⋮ Efficiently implementing two methods of the geometrical theory of differential equations: An experience in algorithm and software design ⋮ Symbolic computation application for the design of linear multivariable control systems ⋮ Solution of a hydrodynamic lubrication problem with Maple ⋮ Higher order limit cycle bifurcations from non-degenerate centers ⋮ Connections in Bergmann manifolds ⋮ Longitudinal jet cross sections in order \(\alpha^2_s\) ⋮ Software to compute infinitesimal symmetries of exterior differential systems, with applications ⋮ REDUCE and the bifurcation of limit cycles ⋮ Computer classification of integrable coupled KdV-like systems ⋮ Precise calculation of numerical derivatives using Lagrange and Hermite interpolation ⋮ Symbolic computation of the flow of granular avalanches ⋮ Direct superposition of Wilson trial functions by computerized symbolic algebra ⋮ Quantization of quadratic Liénard-type equations by preserving Noether symmetries ⋮ Deciding polynomial-transcendental problems ⋮ Jacobi's last multiplier, Lie symmetries, and hidden linearity: ``goldfishes galore ⋮ Formal algorithmic elimination for PDEs ⋮ Macsyma: A personal history ⋮ Application of group analysis to stochastic equations of fluid dynamics ⋮ Classification of three-dimensional integrable scalar discrete equations ⋮ Applications of group analysis to the three-dimensional equations of fluids with internal inertia ⋮ Odd Hamiltonian structure for supersymmetric Sawada-Kotera equation ⋮ Another formulation of the Wick's theorem. Farewell, pairing? ⋮ Weak quantifier elimination for the full linear theory of the integers ⋮ Quantifier elimination for real algebra -- the quadratic case and beyond ⋮ A dynamical systems approach to simulating macroscale spatial dynamics in multiple dimensions ⋮ Groups acting simply transitively on the vertices of a building of type \(\tilde A_ 2\). II: The cases \(q=2\) and \(q=3\) ⋮ Transient heat diffusion with temperature-dependent conductivity and time-dependent heat transfer coefficient ⋮ Algebraic calculation of stroboscopic maps of ordinary, nonlinear differential equations ⋮ CLP\(({\mathfrak R})\) and some electrical engineering problems ⋮ Improvements of the power-series coefficient polynomial remainder sequence GCD algorithm ⋮ Classical Lie point symmetry analysis of nonlinear diffusion equations describing thermal energy storage ⋮ Symmetry analysis of a model of stochastic volatility with time-dependent parameters ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ Arithmetic degree and associated graded modules ⋮ A comparison of algorithms for the normalization and quantization of polynomial Hamiltonians ⋮ Numerical investigation of breather-type solutions by using \texttt{REDUCE} ⋮ Some exact solutions of the fin problem with a power law temperature-dependent thermal conductivity ⋮ A REDUCE package for finding conserved densities of systems of nonlinear difference-difference equations ⋮ Calculation of the Dirac equation in curved spacetimes with possible torsion using \texttt{MAPLE} and \texttt{REDUCE} ⋮ A comparative study of some computer algebra packages which determine the Lie point symmetries of differential equations ⋮ A REDUCE package for finding conserved densities of systems of implicit difference-difference equations ⋮ A REDUCE program for the normalization of polynomial Hamiltonians ⋮ PROCRUSTES: A computer algebra package for post-Newtonian calculations in general relativity ⋮ Symbolic computation of the Birkhoff normal form in the problem of stability of the triangular libration points ⋮ Stokes' first problem for Sisko fluid over a porous wall ⋮ Derivation of Korteweg-de Vries flow equations from modified nonlinear Schrödinger equation ⋮ Criteria for fourth-order ordinary differential equations to be linearizable by contact transformations ⋮ Symbolic computing ⋮ On the integral \(\int ^{1}_{0}x^{\nu -1}(1-x)^{-\lambda}\ln ^ mx\,dx\) ⋮ Modified deflation algorithm for the solution of singular problems. I. A system of nonlinear algebraic equations ⋮ Modified deflation algorithm for the solution of singular problems. II: Nonlinear multipoint boundary value problems ⋮ Exact solutions of the Poincaré gauge theory from its linearized field equations ⋮ A representation of a \(C^ 2\) interpolant over triangles ⋮ Computer algebra application for determining Lie and Lie-Bäcklund symmetries of differential equations ⋮ Identification in restricted factor models and the evaluation of rank conditions ⋮ Some invariant solutions for a microwave heating model ⋮ Implementing a computer algebra system in Haskell ⋮ Econometric modelling with nonnormal disturbances ⋮ Deflation algorithm for the multiple roots of a system of nonlinear equations ⋮ Dispersionless sTB ⋮ The inverse problem for a discrete elliptic equation with prescribed symmetry conditions ⋮ Group classification of one-dimensional nonisentropic equations of fluids with internal inertia ⋮ Projective-geometric aspects of homogeneous third-order Hamiltonian operators ⋮ A stability analysis of a Eulerian solution method for moving boundary problems in electrochemical machining ⋮ Application of symbolic algebra to the analysis of plates on variable elastic foundation ⋮ Indistinguishability and identifiability analysis of linear compartmental models ⋮ Rosenbrock methods for stiff ODEs: A comparison of Richardson extrapolation and embedding technique ⋮ Automatically determining symmetries of partial differential equations ⋮ Symmetry reductions and solutions for pollutant diffusion in a cylindrical system ⋮ Differential invariants for systems of linear hyperbolic equations ⋮ Runge-Kutta type integration formulas including the evaluation of the second derivative. I ⋮ Symbolic computations in applied differential geometry ⋮ Hybrid manipulations for the solution of systems of nonlinear algebraic equations ⋮ Formal solutions of differential equations ⋮ Small-amplitude limit cycles of Liénard systems ⋮ Defining relations for Lie algebras of vector fields ⋮ Quartic equations and classification of Riemann tensors in general relativity ⋮ Robust gamma-stability analysis in a plant parameter space ⋮ Classical limit for Lie algebras

This page was built for software: REDUCE