## Search inside eBookDB

Authors: Marko Petkovsek, Herbert S. Wilf, Doron Zeilberger,

Publisher: AK Peters, Ltd.

Keywords:

Number of Pages: 212

Published: 1996-01

ISBN-10: 1568810636

ISBN-13: 9781568810638

In the area of combinatorial identities computers are able to find very elegant proofs of difficult theorems unassisted by human intervention. This autonomy means that not only is it possible to use a PC to find such a proof, but also the proof can be checked easily. This book shows how several recently developed computer algorithms can master the difficult job of simplifying complex summations and if there is no such simplification they will prove this to be the case. The authors present the underlying mathematical theory of these methods, the principle theorems and proofs, and include a pack

66

Author: Max Hailperin

Publisher: Max Hailperin

Keywords: using, scheme, science, computer, abstractions, introduction, concrete

Number of Pages: 686

Published: 1999

ISBN-10: 0534952119

ISBN-13: 9780534952112

CONCRETE ABSTRACTIONS offers students a hands-on, abstraction-based experience of thinking like a computer scientist. This text covers the basics of programming and data structures, and gives first-time computer science students the opportunity to not only write programs, but to prove theorems and analyze algorithms as well. Students learn a variety of programming styles, including functional programming, assembly-language programming, and object-oriented programming (OOP). While most of the book uses the Scheme programming language, Java is introduced at the end as a second example of an OOP

31331

Authors: Stephen Boyd, Lieven Vandenberghe,

Publisher: Cambridge University Pre

Keywords: optimization, convex

Number of Pages: 727

Published: 2004-03-08

ISBN-10: 0521833787

ISBN-13: 9780521833783

Convex optimization problems arise frequently in many different fields. A comprehensive introduction to the subject, this book shows in detail how such problems can be solved numerically with great efficiency. The focus is on recognizing convex optimization problems and then finding the most appropriate technique for solving them. The text contains many worked examples and homework exercises and will appeal to students, researchers and practitioners in fields such as engineering, computer science, mathematics, statistics, finance, and economics. Contents Preface xi 1 Introduction 1 1.1 M

52278

Author: Robert A Beezer

Publisher: Congruent Pre

Keywords: algebra, linear, course, first

Number of Pages: 542

Published: 2012-12-05

ISBN-10: 0984417559

ISBN-13: 9780984417551

A First Course in Linear Algebra is an introduction to the basic concepts of linear algebra, along with an introduction to the techniques of formal mathematics. It begins with systems of equations and matrix algebra before moving into the theory of abstract vector spaces, eigenvalues, linear transformations and matrix representations. It has numerous worked examples and exercises, along with precise statements of definitions and complete proofs of every theorem, making it ideal for independent study. Contents Table of Contents vi Contributors vii Denitions viii Theorems ix Notation x

52258

(Page 1 of 1)