#### Filter Results:

- Full text PDF available (10)

#### Publication Year

2004

2013

- This year (0)
- Last 5 years (2)
- Last 10 years (10)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
- AISC/MKM/Calculemus
- 2008

We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation Infrastructure for… (More)

- Peter Horn, Dan Roozemond
- Calculemus/MKM
- 2009

In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified communication between… (More)

- Steve Linton, Kevin Hammond, +5 authors Dan Roozemond
- J. Symb. Comput.
- 2013

We present the results of the first four years of the European research project SCIEnce – Symbolic Computation Infrastructure in Europe (http://www.symbolic-computation.org), which aims to provide… (More)

- Steve Linton, Kevin Hammond, +4 authors Dan Roozemond
- ISSAC
- 2010

We present the results of the first four years of the European research project SCIEnce (www.symbolic-computation.org), which aims to provide key infrastructure for symbolic computation research. A… (More)

- Marjan Akker, Hilbrandt Baarsma, +5 authors Jan Schreuder
- 2008

In this paper we consider the problem of shunting train units on a railway station. Train units arrive at and depart from the station according to a given train schedule and in between the units may… (More)

The long-root elements in Lie algebras of Chevalley type have been well studied and can be characterized as extremal elements, that is, elements x such that the image of (ad x) 2 lies in the subspace… (More)

- Dan Roozemond
- J. Symb. Comput.
- 2013

Let L be the Lie algebra of a simple algebraic group defined over a field F and let H be a split maximal toral subalgebra of L. Then L has a Chevalley basis with respect to H. If char(F) = 2, 3, it… (More)

- Alexander Konovalov, Sebastian Freundt, +12 authors Christian Mercat
- 2009

We present SCSCP – the Symbolic Computation Software Composability Protocol. SCSCP is a remote procedure call framework for computational algebra systems in which both data and protocol instructions… (More)

- Dan Roozemond
- 2004

This paper describes the results of a project intended to make it possible to put forward geometrical theorems by pointing and clicking, and then obtain a proof for that theorem automatically. This… (More)