Literature review

The pipeline compares a proposed conjecture with relevant published mathematics, looking for known results, counterexamples, and consequences of existing theorems. The accompanying paper records the references and unresolved steps found in that review.

“LMFDB tested & reviewed” describes the recorded process; it is not an endorsement by the LMFDB editorial board and does not guarantee that all relevant literature was found.