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

Essays in algebraic simplification (phd thesis)

โœ Scribed by Fateman.

Book ID
127428432
Tongue
English
Weight
1 MB
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