Publication Search Results
Exact matches for:
- Author = Horn P
1.
Linton SA, Hammond K, Konovalova A, Brown C, Trinder PW, Loidl HW, Horn P, Roozemond DA
S Linton, K Hammond, A Konovalova, C Brown, P W Trinder, H W Loidl, P Horn, D Roozemond:
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation,
Journal of Symbolic Computation,
49
(2013),
95–119.
2.
Horn P, Roozemond DA
Peter Horn and Dan Roozemond:
OpenMath in SCIEnce: SCSCP and POPCORN,
Intelligent Computer Mathematics,
MKM2009,
J. Carette, L. Dixon, C. Sacerdoti Coen, S. Watt (eds.),
Lecture Notes in Computer Science,
Springer,
Berlin,
(2009),
474–479.
ISBN 978-3-642-02613-3.
3.
Freundt S, Horn P, Konovalov A, Linton SA, Roozemond DA
Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond:
Symbolic Computation Software Composability,
Intelligent Computer Mathematics,
Calculemus 2008,
S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, F. Wiedijk (eds.),
Lecture Notes in Computer Science,
Springer,
Berlin,
(2008),
285–295.
ISBN 978-3-540-85109-7.
| Number of matches: 3 |