Symbolic Integration I Transcendental Functions - Volume 1

Symbolic Integration I is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new resu...

  Symbolic Computing Signal and Image Processing

This book is a result of many years research carried out with the purpose of evolving a logico- mathematical framework for symbolic computing. It gives a first time exposure to certain ideas and concepts related to non-numerical signal and image processin...

 Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization

This book presents novel symbolic control and data flow techniques as well as symbolic techniques and algorithms for program analysis and program optimization. Program contexts, defining a new symbolic description of program semantics for control and data...