|
Dan Roozemond
|
Research
What I wrote, what I did.
Aug 2011
(arXiv) | Dan Roozemond, Computing Split Maximal Toral Subalgebras of Lie algebras over Fields of Small Characteristic
[Journal of Symbolic Computation, Volume 50, March 2013, pages 335-349 (DOI)] |
Mar 2011
(PDF, 346KB) | Dan Roozemond, On Lie Algebras Generated by Few Extremal Elements
[Journal of Algebra, Volume 348, Issue 1, December 2011, pages 462-476 (DOI)] |
Dec 2010
(PDF, 770KB) | S. Linton, K. Hammond, A. Konovalov, 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, Volume 49, February 2013, Pages 95-119 (DOI)] |
Apr 2010
(PDF, 239KB) | S. Linton, K. Hammond, A. Konovalov, A.D. Al Zain, P. Trinder, P. Horn, D. Roozemond, Easy Composition of Symbolic Computation Software: A New Lingua Franca for Symbolic Computation
[In ISSAC '10: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (DOI)] |
Feb 2010
(PDF, 2.4MB) | Dan Roozemond, Algorithms for Lie Algebras of Algebraic Groups
[PhD Thesis, TU/e] |
Aug 2009
(PDF, 311KB) | Arjeh M. Cohen and Dan Roozemond, Computing Chevalley bases in small characteristics
[Journal of Algebra, Volume 322, Issue 3, August 2009, pages 703-721 (DOI)] |
Jul 2009
(PDF, 393KB) | Jos in 't panhuis, Erik Postma, Dan Roozemond, Extremal Presentations for Classical Lie Algebras
[Journal of Algebra, Volume 322, Issue 2, July 2009, pages 295-326 (DOI)] |
Jul 2009
(PDF, 292KB) | 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, 130KB) | Peter Horn and Dan Roozemond, OpenMath in SCIEnce: SCSCP and POPCORN
[Presented at MKM2009;
In J. Carette, L. Dixon, C. Sacerdoti Coen, S. Watt (Eds), Intelligent Computer Mathematics. (Lecture Notes in Computer Science, Vol. 5625, pp. 474-479). Berlin: Springer.
(DOI)] |
Jun 2009
| S. Freundt, P. Horn, A. Konovalov, S. Lesseni, S. Linton, D. Roozemond, OpenMath Content Dictionaries:
scscp1,
scscp2,
matrix1,
polynomial4,
order1
.
[Presented at The 22nd OpenMath Workshop] |
Feb 2009
(info) | Peter Horn and Dan Roozemond, Java Libraries for SCSCP and OpenMath, Version 1.0.0
|
Jun 2008
(PDF, 706KB) | Arjeh M. Cohen, Gábor Ivanyos, Dan A. Roozemond, Simple Lie Algebras having Extremal Elements
[Indagationes Mathematicae, Volume 19, Issue 2, June 2008, pages 177-188 (DOI)] |
May 2008
(PDF, 193KB) | D. Roozemond, An Extension of a result by Steinberg: Towards a Chevalley Basis Algorithm
[For RWCA 2008] |
Apr 2008
(PDF, 451KB) | 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.
(DOI)] |
Apr 2008
(info) | S. Freundt, P. Horn, A. Konovalov, S. Linton, D. Roozemond, Symbolic Computation Software Composability Protocol (SCSCP) Specification, Version 1.1
|
Apr 2008
(PDF, 326KB) | Marjan van den Akker, Hilbrandt Baarsma, Johann Hurink, Maciej Modelski, Jacob Jan Paulus, Ingrid Reijnen, Dan Roozemond, Jan Schreuder, Shunting passenger trains: Getting ready for departure
[In proceedings of Study Group Mathematics with Industry 2008] |
Nov 2007
(HTML) | D. Roozemond, Representations of Lie groups
[Part of the MAGMA Computational Algebra System] |
Jun 2007
(PDF, 125KB) | A.Konovalov, S.Linton, D.Roozemond, The OpenMath-based protocol for symbolic software composability
[Poster at the 8th OpenMath Meeting, June 2007, Linz] |
May 2007
| Dan Roozemond, The Vogel Algorithm
[GAP program for translating a knot into a braid. Test it!] |
Aug 2005
(PDF, 916KB) | D.A. Roozemond, Lie Algebras Generated by Extremal Elements
[Master's Thesis, TU/e] |
Mar 2004
(PDF, 289KB) | D.A. Roozemond, Automated Proofs using Bracket Algebra with Cinderella and OpenMath
[Rhein Workshop on Computer Algebra] |
Oct 2003
(PDF, 616KB) | D.A. Roozemond, Proving Statements in Planar Geometry and Cinderella
[Internship, TU Berlin] |
Jul 2003
(PDF, 344KB) | D.A. Roozemond, Automatic Geometric Theorem Proving
[Bachelor's Thesis, TU/e] |
|