December 4, 2020· Journal of Symbolic Computation
article
Open access
A generic and executable formalization of signature-based Gröbner basis algorithms
Authors:Alexander Maletzky *
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.