Searching for "Symbolic Mathematical Computation." – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
Combining Theorem Proving and Symbolic Mathematical Computing
- …In J. Calmet, J.A. Campbell (Eds.), Integrating Symbolic Mathematical Computation and Artificial…
- Cited by 13 (1 self) – Add To MetaCart
-
A Perspective On Symbolic Mathematical Computing And Artificial Intelligence
- …A PERSPECTIVE ON SYMBOLIC MATHEMATICAL COMPUTING AND ARTIFICIAL INTELLIGENCE J. Calmet 1 and J…
- Cited by 5 (0 self) – Add To MetaCart
-
Symbolic Evaluation of Sums for Parallelising Compilers
- … be executed in parallel. Existing packages for symbolic mathematical computations are not capable of handling…
- Cited by 8 (0 self) – Add To MetaCart
-
Generalization in Maple
- … of symbolic mathematical computing. By “generalization” we mean the process of taking a number of instances…
- Cited by 1 (0 self) – Add To MetaCart
-
An Expert System for Correctness of Symbolic Computation
- … an expert system for correctness of symbolic mathematical computation. The rst task was to design a shell…
- Add To MetaCart
-
Problem Solving Environments and Symbolic Computing
- … Abstract What role should be played by symbolic mathematical computation facilities in scientific…
- Cited by 1 (0 self) – Add To MetaCart
-
An Open Environment for Doing Mathematics
- … been developed which are capable to perform symbolic mathematical computations. However…
- Cited by 3 (0 self) – Add To MetaCart
-
Symbolic Evaluation of Sums for Parallelising Compilers
- … be executed in parallel. Existing packages for symbolic mathematical computations are not capable of handling…
- Add To MetaCart
-
Markov Models for Periodically Tested Components
- … and flexible modeling approach. In addition we indicate how computer packages for symbolic mathematical…
- Add To MetaCart
-
Towards a Cooperating Robots Demonstrator
- … and symbolic mathematical computation and traditional mathematics was discussed on the basis of some selected…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
