Digital collections of examples in mathematical sciences

DOI10.4171/8ecm/39arXiv2107.12908OpenAlexW3183527500MaRDI QIDQ6086393

James H. Davenport

Publication date: 10 November 2023

Published in: European Congress of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.12908

zbMATH Keywords

citationbenchmarkingopenmath

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• New NP-hard and NP-complete polynomial and integer divisibility problems
• On the integration of algebraic functions
• The transitive groups of degree fourteen and fifteen
• Modular algorithms for computing Gröbner bases.
• The transitive groups of degree twelve
• Dimension-dependent bounds for Gröbner bases of polynomial ideals
• Plimpton 322: a study of rectangles
• Constructing transitive permutation groups.
• Torsion points, Pell's equation, and integration in elementary terms
• Double-exponential lower bound for the degree of any system of generators of a polynomial prime ideal
• Random k‐SAT: Two Moments Suffice to Cross a Sharp Threshold
• The Transitive Permutation Groups of Degree 32
• The transitive groups of degree up to eleven⁺
• On the Efficiency of a Polynomial Irreducibility Test
• The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
• The DEWCAD project
• MACHINE-ASSISTED PROOFS
• A repository for CAD examples
• Notes on elliptic curves. II.
• Notes on elliptic curves. I.
• Neither Sherlock Holmes nor Babylon: A reassessment of Plimpton 322

This page was built for publication: Digital collections of examples in mathematical sciences