A card from a free library — ask anything, no account, works offline. Every card carries its source.
Elliptic curves
instrument
The Elliptic curves verifier (src/concordance/verifiers/elliptic_curves.py). On the one map it instruments: card_question_bsd. Found from the code's own imports, never invented; the module keeps the logic, this card is a pointer.
source
verifier: elliptic_curves · src/concordance/verifiers/elliptic_curves.py
card id
card_instr_elliptic_curves
address
WIT.codex.FCT/elliptic-curves/REF.WITNESSED@verifier-elliptic-curves
adjoining cards
- part of → The instruments — every verifier and validator, and where they join — a root of the instrument trees (Elliptic curves)
- connects at → The Birch and Swinnerton-Dyer conjecture — instruments the map: elliptic_curves computes L(E,1), the root number and the analytic ran
Is this card incomplete? Tell the library — it will call out for more ↗