Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Managing Editor’s Column Kapitel lesen Erstes Kapitel lesen

1996 | OriginalPaper | Buchkapitel

A Method for Proving Theorems in Differential Geometry and Mechanics

verfasst von : Dongming Wang

Erschienen in: J.UCS The Journal of Universal Computer Science

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

A zero decomposition algorithm is presented and used to devise a method for proving theorems automatically in differential geometry and mechanics. The method has been implemented and its practical efficiency is demonstrated by several non-trivial examples including Bertrand’s theorem, Schell’s theorem and Kepler-Newton’s laws.

Vorheriges Kapitel A Decision Method for the Unambiguity of Sets Defined by Number Systems
Nächstes Kapitel Managing Editor’s Column
Metadaten
Titel
A Method for Proving Theorems in Differential Geometry and Mechanics
verfasst von
Dongming Wang
Copyright-Jahr
1996
Verlag
Springer Berlin Heidelberg
Buch
J.UCS The Journal of Universal Computer Science

Print ISBN: 978-3-642-80352-9

Electronic ISBN: 978-3-642-80350-5

Copyright-Jahr: 1996

DOI
https://doi.org/10.1007/978-3-642-80350-5_55

Neuer Inhalt

    Bildnachweise