Maths for computer scientists

From the reviews of the previous editions "e;.

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011.

The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces.

The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular,but,attimes, also other countries with lively CA communities).

This is the second edition of a very popular book on DICOM that introduces this complex standard from a very practical point of view.

This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009.

The 9th ISMM conference covered a very diverse collection of papers, bound together by the central themes of mathematical morphology, namely, the tre- ment of images in terms of set and lattice theory.

This is the first DICOM book introducing this complex imaging standard from a very practical point of view.

Algebraic curves and surfaces are an old topic of geometric and algebraic investigation.

From the reviews of the 2nd edition The substantial development effort of this text clearly shows through in this new edition with its clear writing, good organisation, comprehensive coverage of essential theory, and well-chosen applications.

Among all computer-generated mathematical images, Julia sets of rational maps occupy one of the most prominent positions.

The problem of designing a cost-efficient network thatsurvives the failure of one or more nodes or edges of thenetwork is critical to modern telecommunicationsengineering.

The volume is devoted to the interaction of modern scientific computation and classical function theory.

This book deals with algorithmic problems concerning binary quadratic forms 2 2 f(X,Y)= aX +bXY +cY with integer coe?

This book constitutes the refereed proceedings of three workshops on the application of evolutionary programming and algorithms in various domains; these workshops were held in conjunction with the 5th European Conference on Genetic Programming, EuroGP 2002, in Kinsale, Ireland, in April 2002.

From the reviews of the 1st edition:"e;This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology, culminating with the recognition procedure for Haken manifolds and including the up-to-date results in computer enumeration of 3-manifolds.

Combinatorial enumeration is a readily accessible subject full of easily stated, but sometimes tantalizingly difficult problems.

The appearance of this volume celebrates the ?

 This book constitutes the joint refereed proceedings of six workshops, EvoWorkshops 2003, held together with EuroGP 2003 in Essex, UK in April 2003.

The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering.

The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations.

Symbolic Integration I is destined to become the standard reference work in the field.

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

This book introduces probabilistic modelling and explores its role in solving a broad spectrum of engineering problems that arise in Information Technology (IT).

This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22-25, 2024.

This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics.

This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, Tenerife, Spain, during May 22-24, 2024.

This book constitutes the refereed proceedings of the 25th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2024, held in Wroclaw, Poland, during July 3-5, 2024.

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.

The five-volume set, LNAI 158710 - 15874 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, held in Sydney, New South Wales, Australia, during June 10–13, 2025.

The five-volume set, LNAI 158710 - 15874 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, held in Sydney, New South Wales, Australia, during June 10–13, 2025.

This book constitutes the refereed proceedings of the 31th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2024, held in Haifa, Israel in May 2024.

The five-volume set, LNAI 158710 - 15874 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, held in Sydney, New South Wales, Australia, during June 10–13, 2025.

Mathematica(R): A Problem-Centered Approach introduces the vast array of features and powerful mathematical functions of Mathematica using a multitude of clearly presented examples and worked- out problems.

In the late 1960s British mathematician John Conway invented a virtual mathematical machine that operates on a two-dimensional array of square cell.

John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD, and other areas of computer graphics.

Implicit objects have gained increasing importance in geometric modeling, visualisation, animation, and computer graphics, because their geometric properties provide a good alternative to traditional parametric objects.

Geometric algebra is still treated as an obscure branch of algebra and most books have been written by competent mathematicians in a very abstract style.

Information theory has proved to be effective for solving many computer vision and pattern recognition (CVPR) problems (such as image matching, clustering and segmentation, saliency detection, feature selection, optimal classifier design and many others).

This newly expanded and updated second edition of the best-selling classic continues to take the "e;mystery"e; out of designing algorithms, and analyzing their efficacy and efficiency.

This volume was born from the experience of the authors as researchers and educators,whichsuggeststhatmanystudentsofdataminingarehandicapped in their research by the lack of a formal, systematic education in its mat- matics.