Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Independent
canonical_decomposition_and_quartic_zero_target: Unverified independent record; selected claims were checked separately in the current topical notes.
quartic_analytic_architecture: Unverified independent record; the universal selector and local refinements were checked separately in the topical notes.
quartic_pattern_elimination_and_random_omission: Unverified independent record; the quartic alternative and selected claims were checked separately in the topical notes.
These records are background input, not an independent source of established results. The comparison identifies what was checked and incorporated. Use the main research index for the current mathematical status.