This book constitutes the thoroughly refereed proceedings of the 20th IAPR International Conference on Discrete Geometry for computer Imagery, DGCI 2017, held in Vienna, Austria, in September 2017.
ISBN:
(数字)9783319662725
ISBN:
(纸本)9783319662718
This book constitutes the thoroughly refereed proceedings of the 20th IAPR International Conference on Discrete Geometry for computer Imagery, DGCI 2017, held in Vienna, Austria, in September 2017.
This book constitutes the refereed proceedings of the 10th International Conference on Optimization and applications, OPTIMA 2019, held in Petrovac, Montenegro, in September-October 2019.;The 35 revised full pape...
详细信息
ISBN:
(数字)9783030386030
ISBN:
(纸本)9783030386023
This book constitutes the refereed proceedings of the 10th International Conference on Optimization and applications, OPTIMA 2019, held in Petrovac, Montenegro, in September-October 2019.;The 35 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers cover such topics as optimization, operations research, optimal control, game theory, and their numerous applications in practical problems of operations research, data analysis, and software development.
This book constitutes the refereed proceedings of the 13th IMA International Conference on the mathematics of Surfaces held in York, UK in September 2009. The papers in the present volume include seven invited papers,...
详细信息
ISBN:
(数字)9783642035968
ISBN:
(纸本)9783642035951
This book constitutes the refereed proceedings of the 13th IMA International Conference on the mathematics of Surfaces held in York, UK in September 2009. The papers in the present volume include seven invited papers, as well as 16 submitted papers. The topics covered include subdivision schemes and their continuity, polar patchworks, compressive algorithms for PDEs, surface invariant functions, swept volume parameterization, Willmore flow, computational conformal geometry, heat kernel embeddings, and self-organizing maps on manifolds, mesh and manifold construction, editing, flattening, morphing and interrogation, dissection of planar shapes, symmetry processing, morphable models, computation of isophotes, point membership classification and vertex blends. Surface types considered encompass polygon meshes as well as parametric and implicit surfaces.
Das Buch;ist eine Übersetzung des vierten Kapitels der legendären Werkreihe "The Art of computer Programming" von Donald E. Knuth in der neuesten Fassung. Es handelt sich um eine umfangreiche Einf&...
详细信息
ISBN:
(数字)9783642564321
ISBN:
(纸本)9783540667452;9783642630903
Das Buch;ist eine Übersetzung des vierten Kapitels der legendären Werkreihe "The Art of computer Programming" von Donald E. Knuth in der neuesten Fassung. Es handelt sich um eine umfangreiche Einführung in die computeralgebra, die den neuesten Stand der Forschung berücksichtigt. Donald E. Knuth versteht es, die Algorithmen didaktisch sehr geschickt und ohne Kompromisse bei der Strenge aufzubereiten. Das Buch enthält außerdem Hunderte von Aufgaben verschiedener Schwierigkeitsgrade mit Lösungen. Der Übersetzer, Prof. Dr. R. Loos, lehrt an der Universität Tübingen.
Dieses Buch enthält den mathematik-Stoff, der für das Informatik-Studium an Fachhochschulen benötigt wird. Stoffauswahl und Ausführlichkeit der Darstellung sind auf die Informatik ausgerichtet und ...
详细信息
ISBN:
(数字)9783322918093
Dieses Buch enthält den mathematik-Stoff, der für das Informatik-Studium an Fachhochschulen benötigt wird. Stoffauswahl und Ausführlichkeit der Darstellung sind auf die Informatik ausgerichtet und der praxisorientierten Ausbildung an Fachhochschulen angepasst. Das heißt:;- Sie finden immer wieder konkrete Anwendungen aus der Informatik, so erkennen Sie die Nützlichkeit der mathematik für Ihr Fachgebiet.;- Sie lernen nicht nur die mathematischen Grundlagen technischer Anwendungen wie in den mathematikbüchern für Ingenieure, es werden auch die mathematischen Denkweisen vermittelt, die eine Grundlage zum Verständnis der Informatik darstellen.;- Es ist nicht so viel Theorie enthalten wie in den Büchern für das Universitätsstudium, Beweise werden dann geführt, wenn Sie daraus etwas lernen können, nicht um des Beweisens willen.;mathematik ist für viele Studenten zunächst ein notwendiges Übel. Das Buch zeigt durch die ausführliche Motivation der Ergebnisse, durch viele Beispiele, durch das ständige Aufzeigen von Querbezügen zwischen mathematik und Informatik und auch durch gelegentliche Ausblicke in die Welt der "richtigen" mathematik, dass mathematik nicht nur nützlich ist, sondern interessant sein kann und manchmal auch Spaß macht.
This book, which is a rrMsion and extension of the original edition publi shed in 1996 (see [2D with the German title mathematik mit MA'nfCAD (mathematics Using MA'nfCAD), discusses the use of the progra...
详细信息
ISBN:
(数字)9781447105398
This book, which is a rrMsion and extension of the original edition publi shed in 1996 (see [2D with the German title mathematik mit MA'nfCAD (mathematics Using MA'nfCAD), discusses the use of the program system MAlHCAD® to solve mathematical problems with computers. The book is based on the current MA'nfCAD Version 8 Professional for WINDOWS 95/98 (see [5D. Whereas MAlHCAD and MATLAB (see [4D were originally conceived as purely systems for numerical mathematical calculations, the more recent versions of both products have licensed a minimum variant of the symbolic processor of the MAPLE computer algebra system for exact (symbolic) calcu lations. Thus, MAlHCAD has been developed to be an equal partner to the estab lished computer algebra systems AXIOM, DERIVE, MACSYMA, MAPLE, MA lHEMATICA, MuPAD and REDUCE. However, because these systems con tain numerical methods as well, they are no longer just pure computer alge bra systems. Consequently, MAlHCAD can also be deSignated as being a computer alge bra system (or just: system). mathCAD possesses some advantages: • Better numerical capabilities more than compensate for the somewhat limited capabilities provided for exact (symbolic) calculations. • The calculations are performed in the MAlHCAD worksheet using the usual mathematical symbols (standard notation). • Thanks to the superior layout capabilities in the worksheet, MAlHCAD can be used to create treatises directly. • All calculations can be performed using units of measurement.
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software e...
详细信息
ISBN:
(数字)9783642366758
ISBN:
(纸本)9783642366741
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer.;The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
暂无评论