Computing the Radical of an Ideal in Positive Characteristic
Journal of Symbolic Computation
Efficient Groebner walk conversion for implicitization of geometric objects
Computer Aided Geometric Design
Journal of Symbolic Computation
A new class of term orders for elimination
Journal of Symbolic Computation
Groebner bases computation in Boolean rings for symbolic model checking
MOAS'07 Proceedings of the 18th conference on Proceedings of the 18th IASTED International Conference: modelling and simulation
Universal characteristic decomposition of radical differential ideals
Journal of Symbolic Computation
Efficient Groebner walk conversion for implicitization of geometric objects
Computer Aided Geometric Design
Groebner bases computation in Boolean rings for symbolic model checking
MS '07 The 18th IASTED International Conference on Modelling and Simulation
Hi-index | 0.00 |