Sold Out
Book Categories |
List of contributors | ||
Mathematica: doing mathematics by computer? | 2 | |
An overview of the TASSO project | 21 | |
The uniform representation of mathematical objects by truncated power series | 32 | |
p-adic arithmetic: a tool for error-free computations | 53 | |
Exact solution of computational problems via parallel truncated p-adic arithmetic | 68 | |
A canonical form guide to symbolic summation | 84 | |
Indexes in sums and series: from formal definition to object-oriented implementation | 111 | |
Equational specifications: design, implementation, and reasoning | 126 | |
On the algebraic specification of classes and inheritance in object-oriented programming | 145 | |
On subtyping in languages for symbolic computation systems | 164 | |
Enhanced strict inheritance in TASSO-L | 179 | |
Deduction and abduction using a sequent calculus | 198 | |
A sequent calculus machine for symbolic computation systems | 217 | |
Automated deduction by connection method in an object-oriented environment | 230 | |
A general reasoning apparatus for intelligent tutoring systems in mathematics | 245 | |
Subject index | 257 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionAdvances in the Design of Symbolic Computation Systems
X
This Item is in Your InventoryAdvances in the Design of Symbolic Computation Systems
X
You must be logged in to review the productsX
X
X
Add Advances in the Design of Symbolic Computation Systems, New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology i, Advances in the Design of Symbolic Computation Systems to the inventory that you are selling on WonderClubX
X
Add Advances in the Design of Symbolic Computation Systems, New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology i, Advances in the Design of Symbolic Computation Systems to your collection on WonderClub |