Mathematics Mechanization and Applications
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
„Mathematics Mechanization and Applications“ von Xiao-Shan Gao ist ein Fachbuch, das sich mit der Mechanisierung mathematischer Prozesse und deren praktischen Anwendungen befasst. Es behandelt theoretische Grundlagen und algorithmische Methoden zur Automatisierung von Problemlösungen in verschiedenen Bereichen der Mathematik. Dazu gehören unter anderem die symbolische Berechnung, die automatisierte Beweisführung sowie die algebraische Geometrie. Das Buch bietet eine umfassende Übersicht über die Konzepte der mechanisierten Mathematik und zeigt auf, wie diese in wissenschaftlichen und ingenieurtechnischen Anwendungen implementiert werden können. Es richtet sich an Forscher, Studenten und Fachleute, die sich für Computer-Algebra-Systeme und deren Anwendung in der Lösung komplexer mathematischer Probleme interessieren.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
