SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Symbolic Computation

Volumn 32, Issue 4, 2001, Pages 351-364

On the role of OpenMath in integrative mathematical documents

(2) Caprotti, O a Cohen, A M a

a EINDHOVEN UNIVERSITY OF TECHNOLOGY (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

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

Times cited : (5)

References (31)

1
- 0032288675
- OpenMath: Communicating mathematical information between co-operating agents in a knowledge network
- Special Issue: Improving the Design of Intelligent Systems: Outstanding Problems and Some Methods for their Solution
- (1998) J. Intell. Syst
- Abbott, J.A.¹ Van Leeuwen, A.M.² Strotmann, A.³

2
- 0003782940
- The machine-checked literate formalisation of algebra in type theory
- (January 15th). Ph.D. Thesis, University of Manchester
- (1998)
- Bailey, A.¹

3
- 0029192267
- Theorems and algorithms: An interface between Isabelle and Maple
- Levelt, A. ed., Montreal, Canada, New York, ACM Press
- (1995) Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC'95) , pp. 150-157
- Ballarin, C.¹ Homann, K.² Calmet, J.³

4
- 84949295283
- Specification and integration of theorem provers and computer algebra systems
- Calmet, J., Plaza, J. eds, Plattsburgh, New York, U.S.A., LNAI 1476
- (1998) Artificial Intelligence and Symbolic Computation: International Conference AISC'98
- Bertoli, P.¹ Calmet, J.² Giunchiglia, F.³ Homann, K.⁴

5
- 0030658215
- A survey of the Theorema project
- Maui, Hawaii. ACM
- (1997) Proceedings of ISSAC'97
- Buchberger, B.¹ Jebelean, T.² Kriftner, F.³ Marin, M.⁴ Tomuta, E.⁵ Vasaru, D.⁶

6
- 85031486248
- STARS. Stilo Technologies. Available online at
- (1999)
- Buswell, S.¹

7
- 85031485148
- Mathematical Markup Language (MathML) Version 2.0. W3C Working Draft 11 February 2000. Available online at
- (2000)
- Buswell, S.¹

8
- 85031485030
- Mathematical Markup Language (MathML) 1.0 Specification. W3C Recommendation 19980407. Available online at
- (1998)
- Buswell, S.¹ Devitt, S.² Diaz, A.³ Poppelier, N.⁴ Smith, B.⁵ Soiffer, N.⁶ Sutor, R.⁷ Watt, S.⁸

9
- 85031484059
- OpenMath and MathML: Semantic mark up for mathematics. Crossroad, Special Issue on Markup Languages. Available online at
- (1999)
- Caprotti, O.¹ Carlisle, D.²

10
- 0347473210
- Proofs in interactive mathematical documents
- (July). Madrid, Spain
- (2000) Proceedings of AISC 2000, Artificial Intelligence and Symbolic Computation, Theory, Implementations and Applications , pp. 17-19
- Caprotti, O.¹ Oostdijk, M.²

11
- 85031487579
- Collaborative mathematics environments. Project Summary
- (1996)
- Chew, P.¹ Constable, R.L.² Pingali, K.³ Vavasis, S.⁴ Zippel, R.⁵

12
- 84863598113
- Analytica-a theorem prover in mathematica
- Kapur, D. ed., LNCS New York, Springer Verlag
- (1992) 11th Conference on Automated Deduction , vol.607 , pp. 761-765
- Clarke, E.¹ Zhao, X.²

13
- 0006833223
- Number ISBN 3-540-65368-6. SV
- (1999) Algebra Interactive, Interactive Course Material
- Cohen, A.M.¹ Cuypers, H.² Sterk, H.³

14
- 85031476788
- The Coq Proof Assistant: The Standard Library, Version 6.3.1 edn, Available online at
- (1999)
- Coq, P.¹

15
- 0030692211
- An OpenMath 1.0 Implementation. Mavi, Hawaii, New York, ACM Press
- (1997) Proceedings of ISSAC' 97 , pp. 241-248
- Dalmas, S.¹ Gaetano, M.² Watt, S.³

16
- 0032514316
- Lightweight formal methods for computer algebra systems
- Gloor, O. ed., Rostock, Germany. New York, ACM Press
- (1998) ISSAC'98: International Symposium on Symbolic and Algebraic Computation
- Dunstan, M.¹ Kelsey, T.² Linton, S.³ Martin, U.⁴

17
- 0003523342
- Connecting informal and formal mathematics
- Ph.D. Thesis, Eindhoven University of Technology, Eindhoven, The Netherlands
- (1998)
- Elbers, H.¹

18
- 0001536634
- Agent-oriented integration of distributed mathematical services
- Special issue on Integration of Deduction System
- (1999) J. Universal Comput. Sci , vol.5 , pp. 156-187
- Franke, A.¹ Hess, S.² Jung, C.³ Kohlhase, M.⁴ Sorge, V.⁵

19
- 84949512872
- Reasoning about the reals: The marriage of HOL and Maple
- Voronkov, A. ed., St Petersburg, LNAI 698, Berlin, Springer-Verlag
- (1993) Logic Programming and Automated Reasoning: 4th International Conference , pp. 351-353
- Harrison, J.¹ Théry, L.²

20
- 85031483065
- ISO ISO 7-bit Coded Character Set for Information Interchange. Standards Query Form
- (1983)

21
- 0003552486
- Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra
- Tr95-1509, Cornell University
- (1995)
- Jackson, P.¹

22
- 85031483782
- OMDoc: Towards an OPENMATH representation of mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes. Available online at
- (2000)
- Kohlhase, M.¹

23
- 0035201140
- MBase: Representing knowledge and context for the integration of mathematical software systems
- (2001) J. Symb. Comput , vol.32 , pp. 365-402
- Kohlhase, M.¹ Franke, A.²

24
- 85031477011
- LEGO The Lego Algebra Group. Available online at
- (1999)

25
- 0004119262
- An extended calculus of constructions
- Ph.D. Thesis, Edinburgh University
- (1990)
- Luo, Z.¹

26
- 0003522165
- University of Edinburgh, Department of Computer Science
- (1992) LEGO Proof Development System: User's Manual
- Luo, Z.¹ Pollack, R.²

27
- 0006806025
- Selected Papers on Automath. North-Holland, Amsterdam
- (1994)
- Nederpelt, R.P.¹ Geuvers, J.H.² De Vrijer, R.C.³

28
- 85031487852
- The OpenMath Standard. OpenMath Deliverable 1.3.3a. In Caprotti, O., Carlisle, D. P., Cohen, A. M. eds, OpenMath Esprit Consortium. Available online at
- (1999)
- OpenMath, C.¹

29
- 85031485899
- PolyMath Java OpenMath Library: Version 0.7c
- (1999)

30
- 0006763460
- Certifier computer algebra
- Eindhoven. Available online at
- (1998) Calculemus and Types '98
- Pottier, L.¹ Théry, L.²

31
- 0006806129
- The Mizar Logic information language
- (1980) Stud. Logic, Grammar Rhetoric , vol.1
- Trybulec, A.¹

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