Publications

  • Peter Horn and Dan Roozemond, Das SCIEnce EU Programm: Symbolic Computation Infrastructure for Europe
    [Computeralgebra Rundbrief Ausgabe 45]
    Oct. 2009
  • Peter Horn and Dan Roozemond, OpenMath in SCIEnce: SCSCP and POPCORN
    [Presented at MKM2009; In J. Carete, L. Dixon, C. S. Coen, S. M. Watt (Eds.), Intelligent Computer Mathematics. (Lecture Notes in Artificial intelligence, Vol. 5625, pp. 474-479). Heidelberg: Springer.]
    Jul 2009 (PDF, 139KB)
  • S. Freundt, P. Horn, A. Konovalov, S. Lesseni, S. Linton, D. Roozemond, OpenMath in SCIEnce: Evolving of Symbolic Computation Interaction
    [Presented at The 22nd OpenMath Workshop]
    Jul 2009 (PDF, 292 KB)
  • S. Freundt, P. Horn, A. Konovalov, S. Lesseni, S. Linton, D. Roozemond, OpenMath Content Dictionaries: scscp1scscp2matrix1, polynomial4order1.
    [Presented at The 22nd OpenMath Workshop]
    Jul 2009
  • Peter Horn, MuPAD OpenMath and SCSCP Package, Version 1.3.0
    May 2009 (info)
  • Peter Horn and Dan Roozemond, Java Libraries for SCSCP and OpenMath, Version 1.4.0
    Oct 2009 (info)
  • S. Freundt, P. Horn, A. Konovalov, S. Linton, D. Roozemond, Symbolic Computation Software Composability Protocol (SCSCP) Specification, Version 1.3
    Mar 2009 (info)
  • Peter Horn, Faktorisierung in Schief-Polynomringen, PhD Thesis
    Mar 2009 (urn:nbn:de:hebis:34-2009030226513)
  • Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond, Symbolic Computation Software Composability
    [Presented at Calculemus 2008; In S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, F. Wiedijk (Eds.), Intelligent Computer Mathematics. (Lecture Notes in Computer Science, Vol. 5144, pp. 285-295). Berlin: Springer.]
    Apr 2008 (PDF, 218KB)
  • Peter Horn, About the Van Hoeij Algorithm for Factoring Polynomials, Diploma Thesis
    Sept. 2002