|
 | ||
| ||
| ||
| ||
| ||
| ||
| ||
|
| ||
|
|
Computer algebra (AGAG) |
|
|
Computer algebraic algorithms and their complexity (SINGULAR) |
|
|
Gröbner bases over (commutativ) coefficient rings (with 1) |
|
|
Symbolic computing |
|
|
Model-based diagnosis |
| Frank Seelisch |
|
Research Interests |
|
||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
| |||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||
|
| |||||||||||||||||||||||||||||||||||||||
| Univ. of Kaiserslautern • Dept. of Mathematics • WG Algebra & Geometry • CAS SINGULAR • KIS | |||||||||||||||||||||||||||||||||||||||