Author:
Landman Bruce,Robertson Aaron
Publisher
American Mathematical Society
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fermat Principle, Ramsey Theory and Metamaterials;Materials;2023-12-09
2. Counting pseudo progressions;Involve, a Journal of Mathematics;2020-12-05
3. Exact Lower Bounds for Monochromatic Schur Triples and Generalizations;Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra;2020
4. Formally Verifying the Solution to the Boolean Pythagorean Triples Problem;Journal of Automated Reasoning;2018-10-27
5. The science of brute force;Communications of the ACM;2017-07-24