Peter Horn

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Closed Form Solutions

Polynomial Equations

Imperative Programs

Top Venues

Math. Comput. Sci.

J. Symb. Comput.

Publications

Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. 49 (2013)
Peter Horn, Wolfram Koepf, Torsten Sprenger
-Fold Hypergeometric Solutions of Linear Recurrence Equations Revisited. Math. Comput. Sci. 6 (1) (2012)
Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond
Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC (2010)
Peter Horn, Dan Roozemond
OpenMath in SCIEnce: SCSCP and POPCORN. Calculemus/MKM (2009)
Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
Symbolic Computation Software Composability. AISC/MKM/Calculemus (2008)