Author: John R. Rice
Publisher: Academic Press
ISBN: 1483267008
Category : Mathematics
Languages : en
Pages : 537
Get Book Here
Book Description
Mathematical Software deals with software designed for mathematical applications such as Fortran, CADRE, SQUARS, and DESUB. The distribution and sources of mathematical software are discussed, along with number representation and significance monitoring. User-modifiable software and non-standard arithmetic programs are also considered. Comprised of nine chapters, this volume begins with a historical background in the form of a chronological list of events that trace the development of computing in general and mathematical software in particular. The next chapter examines where and how mathematical software is being created and how it is being disseminated to eventual consumers. A number of important shortcomings are identified. The future of mathematical software and the challenges facing mathematical software are then discussed. Subsequent chapters focus on the point of view of people outside the professional community of mathematical software; the monitoring of significance in computation and its relation to number representation; libraries of mathematical software; and the automation of numerical analysis. Eleven algorithms for numerical quadrature are also compared. This book should be of considerable interest to students and specialists in the fields of mathematics and computer science.
Author: Anna Maria Bigatti
Publisher: Springer Nature
ISBN: 3030522008
Category : Computers
Languages : en
Pages : 491
Get Book Here
Book Description
This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.
Author: Arjeh M. Cohen
Publisher: World Scientific
ISBN: 9789812380487
Category : Mathematics
Languages : en
Pages : 536
Get Book Here
Book Description
Annotation The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems. Mathematical software systems rely on the cooperation of mathematicians, designers of algorithms, and mathematical programmers. This book is aimed at software developers in mathematics and programming mathematicians, but it also provides opportunities to discuss the topics with mathematicians.
Author: Ben Klemens
Publisher: Rowman & Littlefield
ISBN: 0815797958
Category : Computers
Languages : en
Pages : 192
Get Book Here
Book Description
This lively and innovative book is about computer code and the legal controls and restrictions on those who write it. The widespread use of personal computers and the Internet have made it possible to release new data or tools instantaneously to virtually the entire world. However, while the digital revolution allows quick and extensive use of these intellectual properties, it also means that their developers face new challenges in retaining their rights as creators. Drawing on a host of examples, Ben Klemens describes and analyzes the intellectual property issues involved in the development of computer software. He focuses on software patents because of their powerful effect on the software market, but he also provides an extensive discussion of how traditional copyright laws can be applied to code. The book concludes with a discussion of recommendations to ease the constraints on software development. This is the first book to confront these problems with serious policy solutions. It is sure to become the standard reference for software developers, those concerned with intellectual property issues, and for policymakers seeking direction. It is critical that public policy on these issues facilitates progress rather than hindering it. There is too much at stake.
Author: E.N. Houstis
Publisher: Elsevier
ISBN: 0444599231
Category : Computers
Languages : en
Pages : 378
Get Book Here
Book Description
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.
Author: Arjeh M Cohen
Publisher: World Scientific
ISBN: 9814488259
Category : Mathematics
Languages : en
Pages : 529
Get Book Here
Book Description
The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems.This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms.The proceedings have been selected for coverage in: • Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)
Author: Gerard O'Regan
Publisher: Springer Science & Business Media
ISBN: 9781846282423
Category : Computers
Languages : en
Pages : 256
Get Book Here
Book Description
This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification language Vienna Development Methods (VDM) Irish school of VDM (VDM) approach of Dijkstra and Hoare classical engineering approach of Parnas Cleanroom approach developed at IBM software reliability, and unified modelling language (UML). Additionally, technology transfer of the mathematical methods to industry is considered. The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.
Author: Andres Iglesias
Publisher: Springer
ISBN: 3540380868
Category : Computers
Languages : en
Pages : 467
Get Book Here
Book Description
This book constitutes the refereed proceedings of the Second International Congress on Mathematical Software, ICMS 2006. The book presents 45 revised full papers, carefully reviewed and selected for presentation. The papers are organized in topical sections on new developments in computer algebra packages, interfacing computer algebra in mathematical visualization, software for algebraic geometry and related topics, number-theoretical software, methods in computational number theory, free software for computer algebra, and general issues.
Author: Hoon Hong
Publisher: Springer
ISBN: 3662441993
Category : Computers
Languages : en
Pages : 762
Get Book Here
Book Description
This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.
Author: Kevin Buzzard
Publisher: Springer Nature
ISBN: 3031645294
Category :
Languages : en
Pages : 377
Get Book Here
Book Description
