Rank Hunter plugins

Bring the mathematics.

Families carry specialized elliptic-curve mathematics. Features add focused tools. Workspaces open whole research environments. Core stays generic; plugins make Rank Hunter specific enough to chase the problem you actually care about.

20Families
1Feature
4Workspaces

Showing all 25 published plugins.

Family plugins

Published Families

Equations, exact maps, sections, torsion structures, theorem metadata, and family-specific search geometry.

Familyv3.0.3

Campbell C1-C6

Six Campbell rank-13 branches with exact variants and deep search support.

View plugin
Familyv0.1.3

DMT Triad Family

Six Piezas-sextuple triads with full rational 2-torsion and four generic sections.

View plugin
Familyv1.3.1

Elkies Rank-17 K3

Published rank-17 K3 record-hunt family with all 17 generic sections.

View plugin
Familyv0.1.1

Elkies Rank-18 First Cover

First quadratic base change of the Elkies rank-17 K3 with an exact 18th section.

View plugin
Familyv1.3.0

Elkies X1092 · Published MW17

X1092 K3 fibration with 17 exact generic sections, fast Nagao screening, and subgroup-aware search.

View plugin
Familyv1.2.4

Elkies-Klagsbrun Z/2 K3

Z/2-torsion K3 family of generic rank 9 with a proven rank-20 specialization.

View plugin
Familyv1.1.0

Fermigier-Mestre K3

One-parameter K3 reconstruction with 12 exact generic sections.

View plugin
Familyv0.1.3

Fibonacci Triples

Odd/even elliptic families induced by Fibonacci Diophantine triples.

View plugin
Familyv1.2.0

Kihara (2001)

Published generic-rank-at-least-14 family with 14 exact sections.

View plugin
Familyv1.1.0

Kloosterman Rank-15 K3

Explicit K3 surface proved in the literature to have Mordell-Weil rank 15.

View plugin
Familyv0.1.5

Mazur Torsion Families

Prescribed-torsion candidate lanes covering all 15 rational torsion groups allowed over Q.

View plugin
Familyv1.5.2

Mestre/Fermigier Sextuple

Generic-rank-at-least-11 Mestre sextuple family with quartic/PGL2 deep search.

View plugin
Familyv0.1.1

Dujella-Peral Z/4 Rank 6

Published Z/4 family with exact generic rank 6 and six reconstructed generators.

View plugin
Familyv0.1.0

Dujella-Peral-Tadić Z/6 Rank 3

Six explicit Z/6 rank-3 variants from the definitive 2016 treatment.

View plugin
Familyv0.1.0

Z/8 Rank-2 Families

Seven pairwise non-isomorphic Z/8 families of exact generic rank 2.

View plugin
Familyv0.1.0

Z/2 × Z/6 Rank-2 Families

Five pairwise non-isomorphic Z/2 × Z/6 families of exact generic rank 2.

View plugin
Familyv0.1.0

Dujella-Peral Z/2 × Z/4 Diophantine Triple Rank 4

Exact generic-rank-4 prescribed-torsion family induced by Diophantine triples.

View plugin
Familyv0.1.0

Dujella-Peral Diophantine Triple Rank 6

Fully explicit C2 × C2 Diophantine-triple family of exact generic rank 6.

View plugin
Familyv0.1.0

Dujella-Peral Rational Diophantine Triple Rank ≥7

Genus-1-base infinite C2 × C2 family with verified generic lower bound 7.

View plugin
Familyv0.1.0

Nagao j=1728 Rank ≥4 Twist Family

Nagao j=1728 family with four independent generic sections.

View plugin

Feature plugins

Published Features

Focused additions that hook into an existing Rank Hunter workflow without becoming a separate research page.

Featurev2.1.1

Symmetry Reducer

Exact search-space symmetry reduction for supported Campbell, Kihara, and Mestre/Fermigier searches.

View plugin

Workspace plugins

Published Workspaces

Self-contained research pages for deeper exploration that still respect core evidence and persistence boundaries.

Workspacev0.5.0

Curve Explorer

Interactive real-locus Graph plus complex affine 3D projection with exact P/Q → R → −R playback for stored curves.

View plugin
Workspacev0.4.1

Fiber Atlas

Read-only family atlas with rank-jump/excess semantics, research views, fastpaths, and explicit search handoffs.

View plugin
Workspacev0.2.1

Leaderboard Compare

Compare Rank Hunter curves with synchronized high-rank leaderboard data and torsion filters.

View plugin
Workspacev0.5.2

Twist & Isogeny Lab

Exact rational isogeny classes, bounded quadratic twists, large-curve exact probes, and deterministic research handoffs.

View plugin

Scientific boundary

Plugin metadata is not a shortcut around proof.

A literature theorem, a generic rank statement, a specialized exact rank, and a heuristic search score are different claims. Rank Hunter keeps them different too. Each plugin's own README/provenance documents what it actually establishes.

Build on Rank Hunter

Missing the family you need?

Add equations, exact maps, sections, search adapters, or an entire research workspace without stuffing specialized mathematics into core.