scientific article; zbMATH DE number 500492

zbMath0796.68172MaRDI QIDQ4279027

Shang-Ching Chou, Xiao-Shan Gao

Publication date: 24 February 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated reasoningBertrand curvesmechanical theoremaffine-differential geometrymetric differential geometryRitt-Wu's characteristic methodRitt-Wu's zero decomposition algorithm

Mathematics Subject Classification ID

Curves in Euclidean and related spaces (53A04)

Related Items (2)

An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space ⋮ Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

This page was built for publication: