Опубликованный пакет / CLIR
arxo.elliptic_curves
v0.1.0Словарь эллиптических кривых: модель Вейерштрасса, дискриминант (вычисляемый), принадлежность точки кривой, групповой закон (явная формула, верифицируемая), четыре раздельных отношения ранга
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Arxo's own dictionary contract for elliptic curves over Q, in Weierstrass form | ARXO-ELLIPTIC-CURVES-CONTRACT-1 | 1 | 1 |