๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Integration of algebraic functions (phd thesis)

โœ Scribed by Trager.

Book ID
127399784
Tongue
English
Weight
619 KB
Category
Library

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Computer algebra and theorem proving (Ph
Computer algebra and theorem proving (PhD thesis)
โœ Ballarin C. ๐Ÿ“‚ Library ๐ŸŒ English โš– 293 KB

Is Ihe use of computer algebra technology beneficial for mechanised reasoning in and about mathematical domains? Usually it is assumed that it is. Many works in this area, however, either have little reasoning content, or use symbolic computation only to simplify expressions. In work that has achiev

Purely Functional Data Structures [PhD T
Purely Functional Data Structures [PhD Thesis]
โœ Chris Okasaki ๐Ÿ“‚ Library ๐Ÿ“… 1999 ๐Ÿ› Cambridge University Press ๐ŸŒ English โš– 614 KB

Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages,