John Perry

From MaRDI portal
(Redirected from Person:512376)



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