The following pages link to MACSYMA (Q13950):
Displaying 50 items.
- On the identification of a Lie algebra given by its structure constants. I: Direct decompositions, Levi decompositions, and nilradicals (Q1118019) (← links)
- Solving symbolic equations with PRESS (Q1118401) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Errata: \(G^ 1\) interpolation of generally unrestricted cubic Bézier curves (Q1118962) (← links)
- Special methods for problems whose oscillatory solution is damped (Q1119344) (← links)
- Symbolic eigenvalue analysis for adaptive stepsize control in PNS shock stabilization (Q1121110) (← links)
- An integral equation analysis of inelastic shells (Q1122395) (← links)
- Unification theory (Q1124375) (← links)
- Hybrid strain-based three-node flat triangular laminated composite shell elements (Q1127457) (← links)
- Most primitive groups have messy invariants (Q1132954) (← links)
- Integration techniques for isoparametric and higher order bases on finite elements with a curved side (Q1143126) (← links)
- On the discrepancy of the sequence formed by the multiples of an irrational number (Q1151427) (← links)
- Computer-aided closure of the Lie algebra associated with a nonlinear partial differential equation (Q1154039) (← links)
- Flux vector splitting of the inviscid gasdynamic equations with application to finite-difference methods (Q1156617) (← links)
- Fractional step methods for thermohydraulic calculation (Q1156641) (← links)
- The letter S (Q1157974) (← links)
- Efficiency and production rate of a transfer line with two machines and a finite storage buffer (Q1159561) (← links)
- Self-dual codes over GF(5) (Q1163524) (← links)
- On the enumeration of lattices of determinant one (Q1170281) (← links)
- The unimodular lattices of dimension up to 23 and the Minkowski-Siegel mass constants (Q1170282) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Effects of approximations on the static and dynamic response of a cantilever with a tip mass (Q1181397) (← links)
- An analytical approach to global optimization (Q1181733) (← links)
- Sexual mixing models: A comparison of analogue deterministic and stochastic models (Q1183735) (← links)
- A heuristic irreducibility test for univariate polynomials (Q1186702) (← links)
- An application of computer algebra to a problem in stratified fluid flow (Q1186726) (← links)
- Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (Q1188645) (← links)
- Formulas for series computations (Q1189717) (← links)
- A theory of interactions: Unifying qualitative and quantitative algebraic reasoning (Q1190523) (← links)
- Higher-order derivative constraints in qualitative simulation (Q1190528) (← links)
- The volume common to two congruent circular cylinders (Q1190753) (← links)
- A theoretical solution for the buckling of sandwich panels with laminated face plates using a computer algebra system (Q1191983) (← links)
- Symbolic finite element analysis using computer algebra: Heat transfer in rectangular duct flow (Q1192196) (← links)
- On the covering multiplicity of lattices (Q1193702) (← links)
- Variational curve and surface grid generation (Q1195468) (← links)
- Symbolic computation of normal forms for nonlinear Hamiltonian systems (Q1196838) (← links)
- Power series in computer algebra (Q1198232) (← links)
- A review of Mathematica (Q1198247) (← links)
- New spherical 4-designs (Q1199609) (← links)
- Isogroups of differential equations using algebraic computing (Q1199714) (← links)
- Counting asymmetric enriched trees (Q1199819) (← links)
- The ECO family (Q1202626) (← links)
- Five-diagonal finite difference methods based on mixed-type interpolation for a certain fourth-order two-point boundary-value problem (Q1203685) (← links)
- Symbolic modelling of controlled mechanisms (Q1205661) (← links)
- Mixed isoparametric elements for Saint-Venant torsion (Q1219724) (← links)
- Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns (Q1224442) (← links)
- A new approach to the symbolic factorization of multivariate polynomials (Q1228373) (← links)
- Formula manipulations solving linear ordinary differential equations. II (Q1231388) (← links)
- Production rules as a representation for a knowledge-based consultation program (Q1232910) (← links)
- Mixed isoparametric finite element models of laminated composite shells (Q1240612) (← links)
