| Publication | Date of Publication | Type |
|---|
| Formalization of a stochastic approximation theorem | 2024-07-15 | Paper |
Integration of Algebraic Functions
Texts & Monographs in Symbolic Computation | 2022-11-15 | Paper |
Comments on \textit{Integration of algebraic functions}
Texts & Monographs in Symbolic Computation | 2022-11-15 | Paper |
| Formalization of a Stochastic Approximation Theorem | 2022-02-11 | Paper |
Computation of the radical of polynomial ideals over fields of arbitrary characteristic
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Ideals of curves given by points
Computational Algebraic and Analytic Geometry | 2015-08-05 | Paper |
Computation of topological invariants for real projective surfaces with isolated singularities
Journal of Symbolic Computation | 2014-12-09 | Paper |
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
Formal Methods in System Design | 2014-12-05 | Paper |
Generators of the ideal of an algebraic space curve
Journal of Symbolic Computation | 2009-07-01 | Paper |
Irreducible decomposition of polynomial ideals
Journal of Symbolic Computation | 2007-10-19 | Paper |
Linear differential operators for polynomial equations
Journal of Symbolic Computation | 2003-03-23 | Paper |
Degree reduction under specialization
Journal of Pure and Applied Algebra | 2002-11-21 | Paper |
Derivations and radicals of polynomial ideals over fields of arbitrary characteristic
Journal of Symbolic Computation | 2002-09-17 | Paper |
| scientific article; zbMATH DE number 1263390 (Why is no real title available?) | 2000-10-11 | Paper |
Riemann surfaces, plane algebraic curves and their period matrices
Journal of Symbolic Computation | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1253986 (Why is no real title available?) | 1999-11-18 | Paper |
| scientific article; zbMATH DE number 1273638 (Why is no real title available?) | 1999-09-26 | Paper |
| scientific article; zbMATH DE number 1254251 (Why is no real title available?) | 1999-09-19 | Paper |
| scientific article; zbMATH DE number 1253975 (Why is no real title available?) | 1999-05-30 | Paper |
Square-free algorithms in positive characteristic
Applicable Algebra in Engineering, Communication and Computing | 1996-05-19 | Paper |
Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators
Journal of Symbolic Computation | 1990-01-01 | Paper |
Gröbner bases and primary decomposition of polynomial ideals
Journal of Symbolic Computation | 1988-01-01 | Paper |
On the parallel Risch Algorithm (II)
ACM Transactions on Mathematical Software | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3755863 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3637999 (Why is no real title available?) | 1979-01-01 | Paper |
New Algorithms for Polynomial Square-Free Decomposition over the Integers
SIAM Journal on Computing | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3785004 (Why is no real title available?) | 1976-01-01 | Paper |
