Computational Geometry in C


Author: Joseph O'Rourke

Publisher: Cambridge University Press

ISBN: 9780521649766

Category: Computers

Page: 376

View: 8388

This is the newly revised and expanded edition of the popular introduction to the design and implementation of geometry algorithms arising in areas such as computer graphics, robotics, and engineering design. The second edition contains material on several new topics, such as randomized algorithms for polygon triangulation, planar point location, 3D convex hull construction, intersection algorithms for ray-segment and ray-triangle, and point-in-polyhedron. A new "Sources" chapter points to supplemental literature for readers needing more information on any topic. A novel aspect is the inclusion of working C code for many of the algorithms, with discussion of practical implementation issues. The self-contained treatment presumes only an elementary knowledge of mathematics, but reaches topics on the frontier of current research, making it a useful reference for practitioners at all levels. The code in this new edition is significantly improved from the first edition, and four new routines are included. Java versions for this new edition are also available. All code is accessible from the book's Web site ( or by anonymous ftp.

Robotics: Concepts, Methodologies, Tools, and Applications

Concepts, Methodologies, Tools, and Applications


Author: Management Association, Information Resources

Publisher: IGI Global

ISBN: 146664608X

Category: Technology & Engineering

Page: 1873

View: 3538

"This book explores some of the most recent developments in robotic motion, artificial intelligence, and human-machine interaction, providing insight into a wide variety of applications and functional areas"--Provided by publisher.

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings


Author: Richard J. Boulton,Paul B. Jackson

Publisher: Springer

ISBN: 3540447555

Category: Computers

Page: 402

View: 1103

This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3–6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri?cation. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001). This was held 4–7 September 2001 in nearby Livingston, Scotland at the Institute for System Level Integration, and a joint half-day session of talks was arranged for the 5th September in Edinburgh. An excursion to Traquair House and a banquet in the Playfair Library of Old College, University of Edinburgh were also jointly organized. The proceedings of CHARME 2001 have been p- lished as volume 2144 of Springer-Verlag’s Lecture Notes in Computer Science series, with Tiziana Margaria and Tom Melham as editors. Each of the 47 papers submitted in the full research category was refereed by at least 3 reviewers who were selected by the Program Committee. Of these submissions, 23 were accepted for presentation at the conference and publication in this volume. In keeping with tradition, TPHOLs 2001 also o?ered a venue for the presentation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplementary proceedings containing associated papers for work in progress was published by the Division of Informatics at the University of Edinburgh.

Euclidean Shortest Paths

Exact or Approximate Algorithms


Author: Fajie Li,Reinhard Klette

Publisher: Springer Science & Business Media

ISBN: 9781447122562

Category: Computers

Page: 378

View: 3371

This unique text/reference reviews algorithms for the exact or approximate solution of shortest-path problems, with a specific focus on a class of algorithms called rubberband algorithms. Discussing each concept and algorithm in depth, the book includes mathematical proofs for many of the given statements. Topics and features: provides theoretical and programming exercises at the end of each chapter; presents a thorough introduction to shortest paths in Euclidean geometry, and the class of algorithms called rubberband algorithms; discusses algorithms for calculating exact or approximate ESPs in the plane; examines the shortest paths on 3D surfaces, in simple polyhedrons and in cube-curves; describes the application of rubberband algorithms for solving art gallery problems, including the safari, zookeeper, watchman, and touring polygons route problems; includes lists of symbols and abbreviations, in addition to other appendices.



Author: Hubert Brian Griffiths

Publisher: N.A


Category: Surfaces

Page: 147

View: 8403

A Pythagorean Introduction to Number Theory

Right Triangles, Sums of Squares, and Arithmetic


Author: Ramin Takloo-Bighash

Publisher: Springer

ISBN: 3030026043

Category: Mathematics

Page: 279

View: 4165

Right triangles are at the heart of this textbook’s vibrant new approach to elementary number theory. Inspired by the familiar Pythagorean theorem, the author invites the reader to ask natural arithmetic questions about right triangles, then proceeds to develop the theory needed to respond. Throughout, students are encouraged to engage with the material by posing questions, working through exercises, using technology, and learning about the broader context in which ideas developed. Progressing from the fundamentals of number theory through to Gauss sums and quadratic reciprocity, the first part of this text presents an innovative first course in elementary number theory. The advanced topics that follow, such as counting lattice points and the four squares theorem, offer a variety of options for extension, or a higher-level course; the breadth and modularity of the later material is ideal for creating a senior capstone course. Numerous exercises are included throughout, many of which are designed for SageMath. By involving students in the active process of inquiry and investigation, this textbook imbues the foundations of number theory with insights into the lively mathematical process that continues to advance the field today. Experience writing proofs is the only formal prerequisite for the book, while a background in basic real analysis will enrich the reader’s appreciation of the final chapters.

Books in Print


Author: N.A

Publisher: N.A


Category: American literature

Page: N.A

View: 1936

Books in print is the major source of information on books currently published and in print in the United States. The database provides the record of forthcoming books, books in-print, and books out-of-print.

Theorie der Gleichverteilung


Author: Edmund Hlawka

Publisher: N.A


Category: Distribution, Uniform (Probability theory)

Page: 142

View: 414

Geometrische Methoden in der Invariantentheorie


Author: Hanspeter Kraft

Publisher: Springer-Verlag

ISBN: 3663101436

Category: Technology & Engineering

Page: 308

View: 7114

In dieser Einführung geht es vor allem um die geometrischen Aspekte der Invariantentheorie. Die hauptsächliche Motivation bildet das Studium von Klassifikations- und Normalformenproblemen, die auch historisch der Ausgangspunkt für invariantentheoretische Untersuchungen waren.

Der Turing Omnibus

Eine Reise durch die Informatik mit 66 Stationen


Author: A.K. Dewdney

Publisher: Springer-Verlag

ISBN: 3642788726

Category: Computers

Page: 496

View: 4509

Der Turing Omnibus macht in 66 exzellent geschriebenen Beiträgen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.

Glauben, Wissen und Wahrscheinlichkeit

Systeme der epistemischen Logik


Author: Wolfgang Lenzen

Publisher: Springer

ISBN: 9783211815984

Category: Business & Economics

Page: 360

View: 8077

Eine Einfiihrung in die epistemische Logik wurde schon vor unge fahr zwei Jahrzehnten durch Jaakko Hintikka geschrieben, und auf sein "Knowledge and Belief" nimmt das vorliegende Buch nicht nur durch den Titel "Glauben, Wissen und Wahrscheinlichkeit" Bezug. Es diirfte deshalb wohl angebracht sein, wenn der Autor eines Buches, das so deutlich die Nachfolgeschaft eines anderen beansprucht, sich dafiir rechtfertigt und erklart, worin sich sein Werk von dem des Vorgangers unterscheidet. Ein wichtiger Punkt, in dem die zweite iiber die erste Einleitung in die epistemische Logik hinausgeht, wird schon durch die Titel erganzung " . . . und Wahrscheinlichkeit" signalisiert. Wahrend Hin tikkas erkenntnistheoretische Untersuchungen sich fast ausschlieB lich auf die Bestimmung einer Wissenslogik ("episteme") konzen trierten, werden hier unter Bezugnahme auf die Theorie subjektiver Wahrscheinlichkeit zusatzlich diverse Glaubenslogiken ("doxa") ent wickelt. Insbesondere wird ein Begriff "schwachen" Glaubens im Sinne des Fiir-wahrscheinlich-Haltens vom "starken" Glaubensbe griff im Sinne festester Oberzeugungen abgegrenzt, eine Unterschei dung, die im angelsachsischen Sprachraum bei der Diskussion der Logik von "belief" straflich vernachlassigt wurde. Die genaue Aus arbeitung dieses Unterschieds, die exakte semantische Charakteri sierung der entsprechenden doxastischen Modaloperatoren, und die Suche nach vollstandigen Axiomatisierungen korrespondierender Logiken fiihrte dabei in (mathematisches) Neuland: zur Theorie klassifikatorischer Wahrscheinlichkeit. Diese erste wesentliche Wei terentwicklung von "Knowledge and Belief" konnte man durch die Formel beschreiben: von rein epistemischer Logik hin zu epistemi scher und doxastischer Logik.

Elementare Wahrscheinlichkeitstheorie und stochastische Prozesse


Author: Kai L. Chung

Publisher: Springer-Verlag

ISBN: 3642670334

Category: Mathematics

Page: 346

View: 2694

Aus den Besprechungen: "Unter den zahlreichen Einführungen in die Wahrscheinlichkeitsrechnung bildet dieses Buch eine erfreuliche Ausnahme. Der Stil einer lebendigen Vorlesung ist über Niederschrift und Übersetzung hinweg erhalten geblieben. In jedes Kapitel wird sehr anschaulich eingeführt. Sinn und Nützlichkeit der mathematischen Formulierungen werden den Lesern nahegebracht. Die wichtigsten Zusammenhänge sind als mathematische Sätze klar formuliert." #FREQUENZ#1

Datenstrukturen und effiziente Algorithmen

Band 1: Sortieren und Suchen


Author: N.A

Publisher: Vieweg+Teubner Verlag

ISBN: 9783322867872

Category: Technology & Engineering

Page: 317

View: 1382

Der Entwurf und die Analyse von Datenstrukturen und effizienten Algorithmen hat in den letzten Jahren große Bedeutung erlangt: Algorithmus ist der zentrale Begriff der Informatik und Effizienz bedeutet Geld. Ich habe den Stoff in drei Bände und neun Kapitel gegliedert. Band 1: Sortieren und Suchen (Kapitel I bis ill) Band 2: Graphenalgorithmen und NP-Vollständigkeit (Kapitel IV bis VI) Band 3: Mehrdimensionales Suchen und Algorithmische Geometrie (Kapitel VII und Vill), Algorithmische Paradigmen (Kapitel IX) Die Bände 2 und 3 haben Band 1 als gemeinsame Basis, sind aber voneinander un abhängig. Große Teile dieser Bände können ohne detaillierte Kenntnis von Band 1 gelesen werden; eine Kenntnis der algorithmischen Grundprinzipien, wie sie etwa in Kapitel I oder in vielen anderen Büchern über Datenstrukturen und Algorith men vermittelt werden, genügt. Die spezifischen Voraussetzungen für die Bände 2 und 3 sind in den jeweiligen Vorworten angegeben. In allen drei Bänden stellen wir wichtige effiziente Algorithmen für die grundlegenden Probleme in dem jeweiligen Gebiet vor und analysieren sie. Wir messen dabei Effizienz durch die Laufzeit auf einem realistischen Modell einer Rechenanlage, das wir in Kapitel I einführen. Die meisten der vorgestellten Algorithmen wurden erst in den letzten Jahren gefunden; die Informatik ist ja schließlich eine sehr junge Wissenschaft. Es gibt kaum Sätze in diesem Buch, die älter als 20 Jahre sind, und mindestens die Hälfte des Stoffes ist jünger als 10 Jahre. Ich habe stets versucht, den Leser bis an den Stand der Forschung heranzuführen.