Add to ORKGAbstract This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu’s method of mechanical theorem proving for differential geometry. A complete list of results about Bertrand curves in metric and affine spaces is derived mechanically. The list includes most of the known results of various Bertrand curves. We also derive some new results about Bertrand curves
Abstract. Wu’s method on mechanical theorem proving in geometries is a well-known method. Ordering o...
In this paper a new method is proposed for mechanically proving theorems in the local theory of spac...
Click on the link to view the abstract.Keywords: Bertrand curve, Minkowski spaceQuaestiones Mathemat...
AbstractWe clarify the formulation problem of mechanical theorem proving in differential geometry an...
In differential geometry, the characterizations of curves and corresponding relations between the cu...
WOS: 000287782600010Bertrand curves were first studied using a computer by W. -T. Wu in (A mechaniza...
A zero decomposition algorithm is presented and used to devise a method for proving theorems automat...
Mechanical theorem proving in geometry plays an important role in the research of automated reasonin...
A Bertrand curve is a special class of space curves that the principal normal line of the curve and ...
In this paper, firstly, we define the Bertrand curve of any curve with respect to the vertical, comp...
Abstract. In this paper, we consider the idea of Bertrand curves for curves lying on surfaces in the...
Bertrand curves are a pair of curves that have a common principal normal vector at any point and are...
This is the first paper of a series of three papers under the same title. It presents an improved ve...
Abstract. In [18], L. R. Pears proved that Bertrand curves in En(n> 3) are degenerate curves. Thi...
A survey of the main procedures for automatic theorem proving in geometry is presented
Abstract. Wu’s method on mechanical theorem proving in geometries is a well-known method. Ordering o...
In this paper a new method is proposed for mechanically proving theorems in the local theory of spac...
Click on the link to view the abstract.Keywords: Bertrand curve, Minkowski spaceQuaestiones Mathemat...
AbstractWe clarify the formulation problem of mechanical theorem proving in differential geometry an...
In differential geometry, the characterizations of curves and corresponding relations between the cu...
WOS: 000287782600010Bertrand curves were first studied using a computer by W. -T. Wu in (A mechaniza...
A zero decomposition algorithm is presented and used to devise a method for proving theorems automat...
Mechanical theorem proving in geometry plays an important role in the research of automated reasonin...
A Bertrand curve is a special class of space curves that the principal normal line of the curve and ...
In this paper, firstly, we define the Bertrand curve of any curve with respect to the vertical, comp...
Abstract. In this paper, we consider the idea of Bertrand curves for curves lying on surfaces in the...
Bertrand curves are a pair of curves that have a common principal normal vector at any point and are...
This is the first paper of a series of three papers under the same title. It presents an improved ve...
Abstract. In [18], L. R. Pears proved that Bertrand curves in En(n> 3) are degenerate curves. Thi...
A survey of the main procedures for automatic theorem proving in geometry is presented
Abstract. Wu’s method on mechanical theorem proving in geometries is a well-known method. Ordering o...
In this paper a new method is proposed for mechanically proving theorems in the local theory of spac...
Click on the link to view the abstract.Keywords: Bertrand curve, Minkowski spaceQuaestiones Mathemat...