Combining theorem proving and symbolic mathematical computing-Reference-Cited by-同舟云学术

Combining theorem proving and symbolic mathematical computing

Published:1995 Issue: Volume: Page:18-29
ISSN:0302-9743
Container-title:Integrating Symbolic Mathematical Computation and Artificial Intelligence
language:
Short-container-title:

Author:

Homann Karsten,Calmet Jacques

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60156-2_3.pdf

Reference11 articles.

1. W. Bosma, J. Cannon, Handbook of MAGMA Functions, Sydney, 1994.

2. J. Calmet, K. Homann, I.A. Tjandra, Unified Domains and Abstract Computational Structures, in J. Calmet, J.A. Campbell (eds.), International Conference on Artificial Intelligence and Symbolic Mathematical Computing, Karlsruhe, August 3–6, 1992, LNCS 737, pp. 166–177, Springer, 1993.

3. J. Calmet, I.A. Tjandra, A Unified-Algebra-Based Specification Language for Symbolic Computing, in A. Miola (ed.), Design and Implementation of Symbolic Computation Systems, LNCS 722, pp. 122–133, Springer, 1993.

4. D. Geddis, The DTP Manual, Stanford University, 1994.

5. A. Heck, Introduction to MAPLE, Springer, 1993.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Formalization of Discrete Fourier Transform in HOL;Mathematical Problems in Engineering;2015

2. NKIMathE – A Multi-purpose Knowledge Management Environment for Mathematical Concepts;Knowledge Science, Engineering and Management;2006

3. A Framework for Agent-Based Brokering of Reasoning Services;MICAI 2004: Advances in Artificial Intelligence;2004

4. VSDITLU: A Verifiable Symbolic Definite Integral Table Look-Up;Automated Deduction — CADE-16;1999

5. Computer algebra and artificial intelligence;Mathematics and Computers in Simulation;1998-01