Skip to main content

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...
  • Mathematics, Computer Science and Logic - A Never Ending Story

    The Bruno Buchberger Festschrift

    Edited by Peter Paule ...
    Series series Mathematics and Statistics (R0)
    This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of ... Read more

    $49.49 USD

  • Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory

    Series series Computer Science (R0)
    This book includes review articles in the field of elliptic integrals, elliptic functions and modular forms intending to foster the discussion between theoretical physicists working on higher loop calculations and mathematicians working in the field of modular forms and functions and analytic solutions of higher order differential and difference equations. ... Read more

    $215.09 USD

  • Numerical and Symbolic Scientific Computing

    Progress and Prospects

    Edited by Peter Paule, Ulrich Langer ...
    Series series Computer Science (R0)
    The book presents the state of the art and results and also includes articles pointing to future developments. Most of the articles center around the theme of linear partial differential equations. Major aspects are fast solvers in elastoplasticity, symbolic analysis for boundary problems, symbolic treatment of operators, computer algebra, and finite element methods, a symbolic approach to finite ... Read more

    $89.09 USD

  • Mathematical Software – ICMS 2016

    5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016.The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; ... Read more

    $49.99 USD

People who read these also enjoyed

  • Matrix Algebra

    Theory, Computations and Applications in Statistics

    Series series Mathematics and Statistics (R0)
    This textbook for graduate and advanced undergraduate students presents the theory of matrix algebra for statistical applications, explores various types of matrices encountered in statistics, and covers numerical linear algebra. Matrix algebra is one of the most important areas of mathematics in data science and in statistical theory, and the second edition of this very popular textbook provides ... Read more

    $116.09 USD

  • Pursuit of the Universal

    12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic ... Read more

    $49.99 USD

  • Sets, Logic and Maths for Computing

    Series series Computer Science (R0)
    This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic ... Read more

    $31.49 USD

  • Classical Mechanics with Maxima

    Series series Physics and Astronomy (R0)
    This book guides undergraduate students in the use of Maxima—a computer algebra system—in solving problems in classical mechanics. It functions well as a supplement to a typical classical mechanics textbook.When it comes to problems that are too difficult to solve by hand, computer algebra systems that can perform symbolic mathematical manipulations are a valuable tool. Maxima is particularly ... Read more

    $58.99 USD

  • Integer Programming and Combinatorial Optimization

    19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2017, held in Waterloo, IN, Canada, in June 2017.The 36 full papers presented were carefully reviewed and selected from 125 submissions. The conference is a forum for researchers and practitioners working on various aspects of integer programming and ... Read more

    $49.49 USD

  • Ideals, Varieties, and Algorithms

    An Introduction to Computational Algebraic Geometry and Commutative Algebra

    Series series Mathematics and Statistics (R0)
    This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the Preface illustrates a variety of ways to proceed with the material once these chapters are covered. In addition to the fundamentals of algebraic geometry—the elimination theorem, ... Read more

    $44.99 USD

  • Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications

    In Honor of Professor Raytcho Lazarov's 40 Years of Research in Computational Methods and Applied Mathematics

    Series series Springer Nature Proceedings excluding Computer Science
    One of the current main challenges in the area of scientific computing is the design and implementation of accurate numerical models for complex physical systems which are described by time dependent coupled systems of nonlinear PDEs. This volume integrates the works of experts in computational mathematics and its applications, with a focus on modern algorithms which are at the heart of accurate ... Read more

    $143.09 USD

  • Progress in Cryptology – INDOCRYPT 2016

    17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Cryptology in India, INDOCRYPT 2016, held in Kolkata, India, in December 2016. The 23 revised full papers presented in this book were carefully reviewed and selected from 84 submissions. The focus of the conference includes works on Public-Key Cryptography, Cryptographic Protocols, Side-Channel Attacks, ... Read more

    $49.99 USD