All pull requests

Pull requests

• LinearModel: Gaussian REML error-contrast likelihood and basis invariance

  CLA Signed
  #1137·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• Prove median_trick: median confidence amplification (ML-36)

  CLA Signed
  #1136·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• Coalescent: Poisson mutation marking discharges Watterson and Tajima moments

  CLA Signed
  #1135·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• GLM: negative binomial log-link score, Hessian, concavity (fixed shape)

  CLA Signed
  #1134·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• Biophysics: one-compartment linear pharmacokinetics

  CLA Signed
  #1133·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• Survival: delayed-entry risk sets, gap-free product-limit, KM reduction

  CLA Signed
  #1132·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• SEIR: global solutions, final size, NGM R0 = beta/gamma

  CLA Signed
  #1131·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• ExactTests: Clopper-Pearson binomial interval and coverage

  CLA Signed
  #1130·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• MultipleTesting: BH FDR control under PRDS on the true nulls

  CLA Signed
  #1129·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• Phylogenetics: K80 transition probabilities, distance, identifiability

  CLA Signed
  #1128·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• ODE: Lyapunov exponential-stability criterion on an invariant set

  CLA Signed
  #1127·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• GLM: canonical logistic and Poisson log likelihoods

  CLA Signed
  #1126·akiezun opened Nov 11, 2026Contributor·

  ·
  3

• Survival: fixed-grid KM CLT with Greenwood studentization

  CLA Signed
  #1125·akiezun opened Nov 11, 2026Contributor·

  ·
  4

• Require a nonempty season in the ski-rental lower bound

  CLA Signed
  #1089·huguesva opened Nov 10, 2026·

  ·
  1

• Fix implication precedence in Scottish Book Problem 148

  CLA Signed
  #1088·huguesva opened Nov 10, 2026·

  ·
  1

  2

• Prove power-sum inequalities for monotone sequences and their Fibonacci applications

  CLA Signed
  #1087·georgem13-bit opened Nov 10, 2026Contributor·13 of 19 tasks·

  ·

• Prove the Stirling-like matrix decompositions S_a = S U_a = V R_a with determinant, inverse and sum identities

  CLA Signed
  #1086·georgem13-bit opened Nov 10, 2026Contributor·13 of 19 tasks·

  ·

• WantedExt: exclude ψ = 1 in volume_lurothWellApproximableSet

  CLA Signed
  #1082·Robertboy18 opened Nov 9, 2026·9 of 19 tasks·

  ·
  3

• WantedExt: fix an exceptional Hilbert column in the almost-IDP statements

  CLA Signed
  #1081·Robertboy18 opened Nov 9, 2026·9 of 19 tasks·

  ·
  1

• WantedExt: require a finite set in breuillard_green_tao_approximate_subgroup

  CLA Signed
  #1080·Robertboy18 opened Nov 9, 2026·9 of 19 tasks·

  ·
  3

• Prove conjecture_refuted for the partial list colouring ratio conjecture

  CLA Signed
  #1079·LUOLINGc325 opened Nov 9, 2026·11 of 19 tasks·

  ·

• Prove Lengyel's 2-adic valuations of harmonic-number differences H_n - H_m

  CLA Signed
  #1078·georgem13-bit opened Nov 6, 2026Contributor·13 of 19 tasks·

  ·

• Prove Klaska's results on Fermat numbers modulo a prime: preperiod, period and the index of 2

  CLA Signed
  #1077·georgem13-bit opened Nov 6, 2026Contributor·13 of 19 tasks·

  ·

• Bump guard: list changed files with git, so a large pull request doesn't fail closed

  CLA Signed
  #1075·Deicyde opened Nov 6, 2026Contributor·

  ·

• Prove Mertens' rook-graph domination polynomial formulas

  CLA Signed
  #1071·georgem13-bit opened Nov 5, 2026Contributor·13 of 19 tasks·

  ·