Searching for "Artificial Intelligence and Symbolic Mathematical Computation." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
-
Some Human Interaction Issues in Computer Algebra
- … to Artificial Intelligence and Symbolic Mathematical Computing took place in Karlsruhe. Two papers [13, 14…
- Cited by 2 (0 self) – Add To MetaCart
-
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
-
Combining Local Consistency, Symbolic Rewriting and Interval Methods
- … constraints. Appears in: 3rd Int. Conf. on Artificial Intelligence and Symbolic Mathematical Computation…
- Cited by 14 (4 self) – Add To MetaCart
-
Unified Domains and Abstract Computational Structures
- … Intelligence and Symbolic Mathematical Computing (AISMC), Karlsruhe, Springer, LNCS 737, pp. 166--177, 1993…
- Cited by 5 (3 self) – Add To MetaCart
-
Soundness and Completeness versus Lifting Property
- …Artificial Intelligence and Symbolic Mathematical Computation J. Calmet, J.A. Campbell and J…
- Add To MetaCart
-
REDUCE Packages on Power Series, Z-Transformation, Residues and Trigonometric Simplification
- …, Algorithmic development of power series. In: Artificial intelligence and symbolic mathematical computing, ed…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 7.
