scientific article
From MaRDI portal
Publication:3787471
zbMath0644.68050MaRDI QIDQ3787471
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Hyperbolic and elliptic geometries (general) and generalizations (51M10) Length, area and volume in real or complex geometry (51M25) Euclidean geometries (general) and generalizations (51M05)
Related Items (4)
On the automatic derivation of a set of geometric formulae ⋮ Geometric constraint solving with geometric transformation ⋮ The parallel numerical method of mechanical theorem proving ⋮ Traveling wave solutions for nonlinear equations using symbolic computation
This page was built for publication: