files / problems / hilbert16-limit-cycles / compute / q1 / e-bezout-bautin
| .. | |
| AdjBezout.lean | 2.2 KB |
| bezout_preimages.py | 12 KB |
| bezout_samples.json | 15 KB |
| center_family_tests.json | 3.3 KB |
| emit_common.py | 1.6 KB |
| l1_focal.py | 12 KB |
| l1_polynomial.json | 3.1 KB |
| LINE.md | 4.7 KB |
| pullback_degree.json | 8.3 KB |
| pullback_degree.py | 5.1 KB |
| replay.rs | 13 KB |
| run.sh | 889 B |