ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Digitale Medien
    Digitale Medien
    On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (1989)
    Springer
    Algorithmica 4 (1989), S. 237-262 
    Details
    ISSN: 1432-0541
    Schlagwort(e): Geometry theorem proving ; Provers ; Nondegenerate conditions ; Ritt's algorithms ; Wu's method ; The Gröbner basis method ; Algebraically (or real) closed field ; Algebraic geometry ; Irreducible variety ; Nondegenerate component ; Generally true ; Simson's theorem ; Pappus' theorem
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Mathematik
    Notizen: Abstract In this paper we analyze the algebraic formulations of certain geometry statements appearing in recent literature related to mechanical geometry theorem proving and give several examples to show that one of these formulations can cause serious problems. We clarify a formulation which is essentially due to W. T. Wu and, in our opinion, is the most satisfactory.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01553889
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 2
    Digitale Medien
    Digitale Medien
    On the parameterization of algebraic curves (1992)
    Springer
    Applicable algebra in engineering, communication and computing 3 (1992), S. 27-38 
    Details
    ISSN: 1432-0622
    Schlagwort(e): Geometric modeling ; Parameterization ; Algebraic curves ; Resolvents ; Ritt-Wu's decomposition algorithm ; Gröbner bases
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Mathematik , Technik allgemein
    Notizen: Abstract In this paper, by using the concept of resolvents of a prime ideal introduced by Ritt, we give methods for constructing a hypersurface which is birational to a given irreducible variety and birational transformations between the hypersurface and the variety. In the case of algebraic curves, this implies that for an irreducible algebraic curveC, we can construct a plane curve which is birational toC. We also present a method to find rational parametric equations for a plane curve if it exists. Hence we have a complete method of parameterization for rational algebraic curves.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01189021
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 3
    Digitale Medien
    Digitale Medien
    Automated reasoning in differential geometry and mechanics using the characteristic set method (1993)
    Springer
    Journal of automated reasoning 10 (1993), S. 173-189 
    Details
    ISSN: 1573-0670
    Schlagwort(e): Mechanical theorem proving ; Wu's method ; Ritt-Wu's decomposition algorithm ; statement of equation type ; generally true ; universally true ; space curve theory ; elementary mechanics
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We clarify the formulation problem of mechanical theorem proving in differential geometry and mechanics and propose two formulations. We present complete methods of mechanical theorem proving for the two formulations. We also introduce predicates and a language to translate geometry statements into differential polynomial equations. A program based on our methods has proved more than 100 nontrivial theorems in differential geometry and elementary mechanics including various classification theorems for space curves, Bertrand's Theorem, Newton's gravitational laws, etc.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00881835
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 4
    Digitale Medien
    Digitale Medien
    Automated reasoning in differential geometry and mechanics using the characteristic set method (1993)
    Springer
    Journal of automated reasoning 10 (1993), S. 161-172 
    Details
    ISSN: 1573-0670
    Schlagwort(e): Differential polynomial ; weak ascending chain ; W-perm ; Ritt-Wu's principle ; quasi zero set ; Ritt-Wu's decomposition algorithm
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract This is the first paper of a series of three papers under the same title. It presents an improved version of Ritt-Wu's decomposition algorithm which is the basis of our methods of mechanical theorem proving and mechanical formula derivation in differential geometry and elementary mechanics. We improve the original algorithm in two aspects. First, by using the weak ascending chain and W-perm, the sizes of the differential polynomials occurring in the decomposition can be reduced. Second, by using a special reduction procedure, the number of branches in the decomposition can be controlled effectively. The improved version significantly enhances the efficiency of the original algorithm.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00881834
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...