Openmath in SCIEnce: SCSCP and POPCORN

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5625 LNAI, Issue , 2009, Pages 474-479

  Horn, Peter ^a   Roozemond, Dan ^b  

^a UNIVERSITY OF KASSEL   (Germany)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ALGEBRA SYSTEMS; EUROPEAN PROJECT; JAVA LIBRARY; MATHEMATICAL OBJECTS; UNIFIED COMMUNICATIONS;

KNOWLEDGE MANAGEMENT;

EID: 69049086741     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02614-0_38     Document Type: Conference Paper

References (14)

1. Caprotti, O., Cohen, A.: Connecting proof checkers and computer algebra using OpenMath. In: Bertot, Y., Dowek, G., Hirschowitz, A., Paulin, C., Théry, L. (eds.) TPHOLs 1999. LNCS, vol. 1690, p. 109. Springer, Heidelberg (1999)
2. Caprotti, O., Cohen, A.M., Riem, M.: Java Phrasebooks for Computer Algebra and Automated Deduction. SIGSAM Bulletin (2000) (Special Issue on OpenMath)
3. Gastineau, M.: SCSCP C Library - A C/C++ library for Symbolic Computation Software Composibility Protocol, IMCCE (2009), http://www.imcce.fr/Equipes/ASD/ trip/scscp/
4. Maven: A software project management and comprehension tool, http://maven.apache.org/
5. MathDox OpenMath Formula Editor, http://mathdox.org/formulaeditor/
6. OpenMath, http://www.openmath.org/
7. PolyMath/OpenMath, http://pdg.cecm.sfu.ca/openmath/
8. RIACA OpenMath Library, http://www.mathdox.org/new-web/openmath.html
9. Freundt, S., Horn, P., Konovalov, A., Linton, S., Roozemond, D.: Symbolic Computation Software Composability Protocol (SCSCP) specification, Version 1.2 (2008), http://www.symbolic-computation.org/scscp/
10. Roozemond, D.: OpenMath Content Dictionary: scscp1, http://www.win.tue. nl/SCIEnce/cds/scscp1.html
11. Roozemond, D.: OpenMath Content Dictionary: scscp2, http://www.win.tue. nl/SCIEnce/cds/scscp2.html
12. Symbolic Computation Infrastructure for Europe, http://www.symbolic- computation.org/
13. Freundt, S., Horn, P., Konovalov, A., Linton, S., Roozemond, D.: Symbolic Computation Software Composability. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS, vol. 5144, pp. 285-295. Springer, Heidelberg (2008)
14. Homepage of the org.symcomp.openmath and org.symcomp.scscp libraries, http://java.symcomp.org/