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