Most of the well-known mathematical software systems are batch oriented, though in the past few years there have been attempts to incorporate ``knowledge'' or ``expertise'' into these systems. A number of developments have helped in making the systems more powerful and user-friendly: algorithm/parameter selection for the solution of well-defined mathematical engineering problems; parallel computing; computer graphics technology; interface development tools; and of course the years of experience with these systems and the increase in available computing power have made it practical to fulfill the potential seen in the early years of their development.This book covers four main areas of the subject: Application Oriented Expert Systems, Advisory Systems, Knowledge Manipulation Issues, and User Interfaces.

In the Guide to the Software Engineering Body of Knowledge (SWEBOK(R) Guide), the IEEE Computer Society establishes a baseline for the body of knowledge for the field of software engineering, and the work supports the Society's responsibility to promote the advancement of both theory and practice in this field. It should be noted that the Guide does not purport to define the body of knowledge but rather to serve as a compendium and guide to the knowledge that has been developing and evolving over the past four decades. Now in Version 3.0, the Guide's 15 knowledge areas summarize generally accepted topics and list references for detailed information. The editors for Version 3.0 of the SWEBOK(R) Guide are Pierre Bourque (Ecole de technologie superieure (ETS), Universite du Quebec) and Richard E. (Dick) Fairley (Software and Systems Engineering Associates (S2EA)).

This volume of the Proceedings of the congress ISAAC '97 collects the con tributions of the four sections 1. Function theoretic and functional analytic methods for pde, 2. Applications of function theory of several complex variables to pde, 3. Integral equations and boundary value problems, 4. Partial differential equations. Most but not all of the authors have participated in the congress. Unfortunately some from Eastern Europe and Asia have not managed to come because of lack of financial support. Nevertheless their manuscripts of the proposed talks are included in this volume. The majority of the papers deal with complex methods. Among them boundary value problems in particular the Riemann-Hilbert, the Riemann (Hilbert) and related problems are treated. Boundary behaviour of vector-valued functions are studied too. The Riemann-Hilbert problem is solved for elliptic complex equations, for mixed complex equations, and for several complex variables. It is considered in a general topological setting for mappings into q;n and related to Toeplitz operators. Convolution operators are investigated for nilpotent Lie groups leading to some consequences for the null space of the tangential Cauchy Riemann operator. Some boundary value problems for overdetermined systems in balls of q;n are solved explicitly. A survey is given for the Gauss-Manin connection associated with deformations of curve singularities. Several papers deal with generalizations of analytic functions with various applications to mathematical physics. Singular integrals in quaternionic anal ysis are studied which are applied to the time-harmonic Maxwell equations.

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; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.