Zulip Chat Archive
Stream: Is there code for X?
Topic: Resultant
FR (Apr 27 2022 at 13:01):
Is there any code about the resultant of two polynomials?
Eric Rodriguez (Apr 27 2022 at 15:16):
there's some toying with it in flt-regular, but not much more: https://github.com/leanprover-community/flt-regular/blob/master/src/number_theory/resultant/basic.lean
Last updated: Dec 20 2023 at 11:08 UTC