ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
Sprache
Ergebnisse pro Seite
Sortieren nach
Sortierung
Anzahl gespeicherter Suchen in der Suchhistorie
E-Mail-Adresse
Voreingestelltes Exportformat
Voreingestellte Zeichencodierung für Export
Anordnung der Filter
Maximale Anzahl angezeigter Filter
Autovervollständigung
Themen (Es wird nur nach Zeitschriften und Artikeln gesucht, die zu einem oder mehreren der ausgewählten Themen gehören)
Weitere Themen anzeigen
Feed-Format
Anzahl der Ergebnisse pro Feed
Permalink Wenn Sie Einstellungen dauerhaft verwenden wollen, müssen Sie zuerst Ihre Einstellungen speichern und dann einen Bookmark auf den Permalink setzen
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
    An algorithm for constructing gröbner bases from characteristic sets and its application to geometry (1990)
    Springer
    Algorithmica 5 (1990), S. 147-154 
    Details
    ISSN: 1432-0541
    Schlagwort(e): Polynomial, (Prime) ideal ; Generators ; (Irreducible) ascending chain ; (Irreducible) algebraic set ; Decomposition of an algebraic set ; Geometric configuration ; Nondegenerate component ; Geometry theorem proving
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Mathematik
    Notizen: Abstract In Ritt's method, a prime ideal is given by a characteristic set. A characteristic set of a prime ideal is generally not a set of generators of this ideal. In this paper we present a simple algorithm for constructing Gröbner bases of a prime ideal from its characteristic set. We give a method for finding new theorems in geometry as an application of this algorithm.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01840382
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 3
    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
  • 4
    Digitale Medien
    Digitale Medien
    A method for the mechanical derivation of formulas in elementary geometry (1987)
    Springer
    Journal of automated reasoning 3 (1987), S. 291-299 
    Details
    ISSN: 1573-0670
    Schlagwort(e): Wu's method for geometry theorem proving ; Ritt's decomposition algorithm ; Gröbner bases ; Heron's formula for the area of a triangle
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract A method for mechanical derivation of formulas and calculation of quantities in geometry is given with several examples to illustrate its applications.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00243793
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 5
    Digitale Medien
    Digitale Medien
    Proving geometry theorems with rewrite rules (1986)
    Springer
    Journal of automated reasoning 2 (1986), S. 253-273 
    Details
    ISSN: 1573-0670
    Schlagwort(e): Rewrite rules ; Gröbner bases ; geometry theorem proving
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We investigate the application of rewrite rules to proving theorems from elementary geometry. We have proven 80 theorems, some of them quite difficult. There is a discussion of the formulation of the problem and degenerate conditions.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF02328448
    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...