Search inside eBookDB


Authors: Marko Petkovsek, Herbert S. Wilf, Doron Zeilberger,
Publisher: AK Peters, Ltd.
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

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

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

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 De nitions viii Theorems ix Notation x
(Page 1 of 1)   
No Books found.