SCOPUS 정보 검색 플랫폼

Volumn 32, Issue 4, 2001, Pages 333-349

Automatic derivation of the irrationality of e

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035201786 PISSN: 07477171 EISSN: None Source Type: Journal
DOI: 10.1006/jsco.2000.0465 Document Type: Article

Times cited : (9)

References (13)

1
- 0002784223
- Logic and computation in Mathpert: An expert system for learning mathematics
- Kaltofen, E., Watt, S. M. eds, Berlin, Springer
- (1989) Computers and Mathematics , pp. 202-214
- Beeson, M.¹

2
- 84957068302
- Some applications of Gentzen's proof theory in automated deduction
- Shroeder-Heister, P. ed., LNCS Berlin, Springer
- (1991) Extensions of Logic Programming , vol.475 , pp. 101-156
- Beeson, M.¹

3
- 0006762185
- Using nonstandard analysis to ensure the correctness of symbolic computations
- (1995) Int. J. Found. Comput. Sci , vol.6 , pp. 299-338
- Beeson, M.¹

4
- 0006803685
- Design principles of Mathpert: Software to support education in algebra and calculus
- Kajler, N. ed., Wien, Springer
- (1996) Computer-Human Interaction in Symbolic Computation , pp. 89-115
- Beeson, M.¹

5
- 84961341105
- Automatic generation of epsilon-delta proofs of continuity
- Calment, J., Plaza, J. eds, LNAI Berlin, Springer
- (1998) Artificial Intelligence and Symbolic Computation , vol.1476 , pp. 67-83
- Beeson, M.¹

6
- 83555173172
- Unification in lambda-calculus with if-then-else
- Kirchner, Kirchner eds, Proceedings of the 15th International Conference on Automated Deduction, Lindau, Germany, July 1988, LNAI 1421, Berlin, Springer. Automated Deduction-CADE-15
- (1998) , pp. 103-118
- Beeson, M.¹

8
- 84863598113
- Analytica: A theorem prover in Mathematica
- Kapur, D. ed., Proceedings of the 11th International Conference on Automated Deduction, Berlin, Springer. Automated Deduction-CADE-11
- (1992) , pp. 761-765
- Clarke, E.¹ Zhao, X.²

9
- 0006835141
- Thom's lemma, the coding of real algebraic numbers, and the computation of the topology of semi-algebraic sets
- Arnon, D. S., Buchberger, B. eds, London, Academic
- (1988) Algorithms in Real Algebraic Geometry
- Coste, M.¹ Roy, M.F.²

10
- 85031488950
- Theorem proving modulo, Rapport de Recherche 3400, INRIA
- (1998)
- Dowek, G.¹ Hardin, Th.² Kirchner, C.³

11
- 84957668257
- Extending the HOL theorem prover with a computer algebra system to reason about the reals
- In Higher Order Logic Theorem Proving and its Applications: 6th International Workshop, HUG '93, LNCS Berlin, Springer
- (1993) , vol.780 , pp. 174-184
- Harrison, J.¹ Thery, L.²

12
- 84969200732
- Otter 2.0. In Stickel, M. E. ed., Berlin, Springer
- (1990) Proceedings of the 10th International Conference on Automated Deduction , pp. 663-664
- McCune, W.¹

13
- 0004232780
- of Annals of Mathematics Studies, Princeton, NJ, Princeton University Press
- (1949) Transcendental Numbers , vol.16
- Siegel, C.L.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.