A Singular Introduction to Commutative Algebra
A Singular Introduction to Commutative Algebra
Computing the primary decomposition of zero-dimensional ideals
Journal of Symbolic Computation
Computer algebra in the life sciences
ACM SIGSAM Bulletin
Symbolic Hamburger-Noether expressions of plane curves and applications to AG codes
Mathematics of Computation
Closed-form formulas for projecting constructible sets in the theory of algebraically closed fields
ACM Communications in Computer Algebra
Restriction of A-discriminants and dual defect toric varieties
Journal of Symbolic Computation
Lifting and recombination techniques for absolute factorization
Journal of Complexity
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials
Journal of Symbolic Computation
Attacking Bivium using SAT solvers
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Parallel operations of sparse polynomials on multicores: I. multiplication and Poisson bracket
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Betti numbers of polynomial hierarchical models for experimental designs
Annals of Mathematics and Artificial Intelligence
Polynomial division using dynamic arrays, heaps, and packed exponent vectors
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
A classification of smooth convex 3-polytopes with at most 16 lattice points
Journal of Algebraic Combinatorics: An International Journal
The stable set of associated prime ideals of a polymatroidal ideal
Journal of Algebraic Combinatorics: An International Journal
Generating non-linear interpolants by semidefinite programming
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |