An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space

DOI10.1007/s11424-011-8267-1zbMath1227.53027OpenAlexW1982798254MaRDI QIDQ646765

Mehmet Bayram Yildirim, Kāzim İlarslan

Publication date: 17 November 2011

Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11424-011-8267-1

zbMATH Keywords

Minkowski spaceBertrand curvesmechanical theorem provingpseudo-null curveRitt-Wu's method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Local submanifolds (53B25) Local differential geometry of Lorentz metrics, indefinite metrics (53B30)

Cites Work

• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• Ruled surfaces of finite type in 3-dimensional Minkowski space
• Mannheim partner curves in 3-space
• Null Bertrand curves in Minkowski 3-space and their characterizations
• Bertrand Curves in Riemannian Space
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space