 | ||
|
| ||
| ||
| ||
| ||
|
| ||
| ||
| ||
| ||
|
| ||
| ||
|
|
| 1 | Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel: An algebraic approach for proving data correctness in arithmetic data paths. (2008). |
| 2 | Michael Brickenstein, Alexander Dreyer, Gert-Martin Greuel, Markus Wedler, Oliver Wienand: New developments in the theory of Gröbner bases and applications to formal verification Journal of Pure and Applied Algebra. accepted for publication (2008). |
| 3 | Oliver Wienand: The Groebner basis of the ideal of vanishing polynomials. (2007). |
| 4 | Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand: Convex Rank Tests and Semigraphoids. (2007). |
| 5 | Raymond Hemmecke, Jason Morton, Anne Shiu, Bernd Sturmfels, Oliver Wienand: Three Counterexamples on Semigraphoids. (2006). |
| 6 | Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand: Geometry of rank tests. Proceedings of PGM'06 (2006), 207-215. |