On Sep 2, 3:58 pm, Alexander Dreyer
<alexander.dre...@itwm.fraunhofer.de> wrote:
> Hello everybody,
> I'm looking for a suitable PhD candidate for a position at the
> Fraunhofer ITWM in Kaiserslautern, Germany.

Actually I suppose that good *intuition* for computational algebra and
*creativity* in speeding up algorithms are the most important
requirements.
The subject is interesting as due to the high complexity you can not
only gain speedup
like 2 or 3 but often in much larger magnitudes e.g. 1000 or more.
You can enhance the effect by speeding calculations on several layers:
- Modelling the equations,
- computational algebra parameters like monomial ordering,
- algorithmic parameters/strategies
- different data structures: we combine ZDDs and dense matrix
computations
- lowlevel programming on ZDDs, many highlevel operations in algebra
can
very *elegantly* formulated as ZDD operations. This is very powerful
and very beautiful.

We have used these techniques in several application domains.
Cheers,
Michael

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to