REDUCE
From MaRDI portal
Cited in
(only showing first 100 items - show all)- The inverse problem for a discrete elliptic equation with prescribed symmetry conditions
- Symmetry reductions and solutions for pollutant diffusion in a cylindrical system
- Differential invariants for systems of linear hyperbolic equations
- Structure analyses for large scale nonlinear multipoint boundary value problems
- Determining invertible two and three dimensional quadratic isoparametric finite element transformations
- Moments of a statistic caused by random combinations or random matings
- Explicit iterative algorithms to reduce a univariate catastrophe to normal form
- A trivariate Clough-Tocher scheme for tetrahedral data
- A REDUCE program for determining point and contact Lie symmetries of differential equations
- Solving algebraic problems with REDUCE
- Identifiability and distinguishability testing via computer algebra
- A magnetic-monopole-type solution in the Poincaré gauge field theory of gravity
- Computer algebra application for classification of integrable non-linear evolution equations
- Efficient integration on the hypersphere
- Derivative generation from multivariate scattered data by functional minimization
- An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations
- Toroidally symmetric polynomial multipole solutions of the vector Laplace equation
- A model for signal-relay adaptation in Dictyostelium discoideum. II. Analytical and numerical results
- The Riquier-Janet theory and its application to nonlinear evolution equations
- Stationary vacuum fields with a conformally flat three-space. II: Proof of axial symmetry
- Formula manipulation in the bond graph modelling and simulation of large mechanical systems
- On the integral \(\int ^{\infty}_{0}x^{\nu -1}(1+\beta x)^{- \lambda}\,\ln ^ mx\,dx\)
- Using symbolic computation in buckling analysis
- Simple integrals for solving of Kepler's equation
- Symmetric linear multistep methods for second-order differential equations with periodic solutions
- A bivariate \(C^ 2\) Clough-Tocher scheme
- On when a separable field extension in characteristic \(p>0\) is determined by its Frobenius structure. II
- Some examples for solving systems of algebraic equations by calculating Gröbner bases
- Quasi-analytical method for solving nonlinear differential equations for turbulent self-confined magneto-plasmas
- Shear deformation plate continua of large double layered space structures
- Exterior calculus on the computer: The REDUCE-package EXCALC applied to general relativity and to the Poincaré gauge theory
- FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis
- Type D empty space-times of embedding class 2
- Computerized symbolic solution for a nonconservative system in which instability occurs by flutter in one range of a parameter and by divergence in another
- Simple adaptive grids for 1-D initial value problems
- Steady laminar flow through a twisted pipe of elliptical cross-section
- Effects of transformations in higher order asymptotic expansions
- A consistency analysis for the numerical solution of boundary integral equations
- Second-order elasticity with axial symmetry. II. Spherical cavity and spherical rigid inclusion problems
- Computer algebra: Past and future
- An improved algorithm for quadratic equation classification and Petrov classification
- History and basic features of the critical-pair/completion procedure
- A numerical method for branch points of a system of nonlinear algebraic equations
- On a particular restricted five-body problem. An analysis with computer algebra
- The transfer function analysis of various schemes for the two-dimensional shallow-water equations
- Symbolic evaluation of integrals occurring in accelerator orbit theory
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
- Special methods for problems whose oscillatory solution is damped
- Using REDUCE in supersymmetry
- An algorithm for solving coupled differential matrix systems: Approximations, convergence and upper error bounds
- On an installation of Buchberger's algorithm
- Asymptotic expansions for the distribution of quadratic forms in normal variables
- Unification theory
- Structural equations for Killing tensors of arbitrary rank
- Theorems of Birkhoff type in Finsler spaces
- Computer algebra determination of symmetries in general relativity
- Multiport representation of inertia properties of kinematic mechanisms
- The geometrical structure of the parameter space of the two-dimensional normal distribution
- On the integration of algebraic functions
- On positive function series
- Equivalence and singularities: An application of computer algebra
- Isovector fields for problems in the mechanics of solids and fluids
- The distribution of the zeros generated by length-bounded polynomials
- Closed-form reliability expression of large non-homogeneous distributed system
- A rewrite-based type discipline for a subset of computer algebra
- Graded differential geometry in REDUCE: Supersymmetry structures of the modified KdV equation
- Algebraically special hypersurface-homogeneous Einstein spaces in general relativity
- A study of stationary, axially symmetric space-time geometries satisfying modified double duality equations using the exterior calculus package \(X^ TR\) for REDUCE
- Automated angular momentum recoupling algebra
- An approximate integral and solution for eccentric planetary type orbits in the restricted problem of three bodies
- A heuristic irreducibility test for univariate polynomials
- Computer algebra in spacetime embedding
- A constructive implementation of the Cartan-Kähler theory of exterior differential systems
- Extinction properties of a premixed laminar flame in oblique stagnation flow in the region of the stagnation point
- Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
- Analysis of buckling by computer algebra
- Parallel implementation of interpolants for Runge-Kutta pairs
- Classification of \(A\)-graded algebras with 3 generators
- Simulations of solitons using quadratic spline finite elements
- The equations \((x+1)\dots(x+k)=(y+1)\dots(y+mk)\) with \(m=3,4\)
- The computation of \(C^ k\) spline functions
- Three new algorithms for multivariate polynomial GCD
- Identification of partially-known systems
- Computing centre conditions for certain cubic systems
- REDUCE-procedures for the study of adjoint symmetries of second-order differential equations
- A review of Mathematica
- On the control of partial differential equations: A \(C^ K\) discretization method
- Isogroups of differential equations using algebraic computing
- Similarity analysis of Lie group method applied to solving the partial differential equation of orthogonal anisotropic plates
- Computer-assisted reduction of second order linear differential equations
- Inverse generation of earthquake-strain constrained designs of a distributed parameter structure for a sequence of design strain functions
- Automatic generation of mapping functions for infinite elements using REDUCE
- Checking collineation vectors with REDUCE
- A new approach to the symbolic factorization of multivariate polynomials
- Formula manipulations solving linear ordinary differential equations. II
- Non-resolution theorem proving
- Differential equations of some orthogonal families in REDUCE
- A CAS REDUCE investigation of the stability of Rusanov's scheme with conditions at domain joints
- Approximate construction of rational approximations and the effect of error autocorrection. Applications
- Finding collineations of Kimura metrics
This page was built for software: REDUCE
