
doi: 10.1007/bf02683818
The authors propose a new ordering method for automated theorem proving in differential geometry, called ``hybrid ordering method'', which is compatible with both, Cartan's method of moving frames and Wu's elimination principle. The basic idea is to change part of an element-based order to a degree-based order according to given hypotheses. In Section 2, the authors describe their so-called hybrid ordering method, then, in Section 3, they present some examples to produce such kind of orders for problems in differential geometry. For related papers see the first author: Sci. China, Ser. A 40, No. 4, 350-356 (1997; Zbl 0880.68117).
Surfaces in Euclidean and related spaces, Curves in Euclidean and related spaces, automated theorem proving, Theorem proving (deduction, resolution, etc.)
Surfaces in Euclidean and related spaces, Curves in Euclidean and related spaces, automated theorem proving, Theorem proving (deduction, resolution, etc.)
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
