The following pages link to Oliver Wienand (Q321288):
Displaying 7 items.
- Standard bases in mixed power series and polynomial rings over rings (Q321289) (← links)
- The Gröbner basis of the ideal of vanishing polynomials (Q633084) (← links)
- New developments in the theory of Gröbner bases and applications to formal verification (Q1017680) (← links)
- An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths (Q3512511) (← links)
- Three Counter-Examples on Semi-Graphoids (Q3512602) (← links)
- (Q3528910) (← links)
- Convex Rank Tests and Semigraphoids (Q3583292) (← links)
