John Perry

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Constraining meanings with contextuality
Foundations of Science
2026-04-01Paper
A dynamic F4 algorithm to compute Gröbner bases
Applicable Algebra in Engineering, Communication and Computing
2021-05-14Paper
Exploring the dynamic Buchberger algorithm
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation
2020-09-09Paper
Androids armed with poisoned chocolate squares: ideal Nim and its relatives
Mathematics Magazine
2018-10-25Paper
Corrigendum to: ``The F5 criterion revised
Journal of Symbolic Computation
2017-02-24Paper
Signature-based algorithms to compute Gröbner bases
Proceedings of the 36th international symposium on Symbolic and algebraic computation
2015-06-09Paper
Modifying Faugère's F5 algorithm to ensure termination
ACM Communications in Computer Algebra
2015-02-20Paper
Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm
Applicable Algebra in Engineering, Communication and Computing
2014-10-02Paper
An extension of Buchberger's criteria for Gröbner basis decision
LMS Journal of Computation and Mathematics
2011-09-15Paper
The F5 criterion revised
Journal of Symbolic Computation
2011-08-10Paper
Computing determinants by double-crossing
The College Mathematics Journal
2011-05-16Paper
F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
Journal of Symbolic Computation
2010-11-19Paper
Corrigendum to ``Are Buchberger's criteria necessary for the chain condition? [J. Symbolic Comput. 42 (2007) 717-732]
Journal of Symbolic Computation
2008-11-18Paper
Are Buchberger's criteria necessary for the chain condition?
Journal of Symbolic Computation
2008-02-13Paper


Research outcomes over time


This page was built for person: John Perry