1. OSCAR – open source computer algebra research system, version 0.7.1, 2022.
2. On the theories of triangular sets;Aubry;J. Symb. Comput.,1999
3. Gröbner Bases;Becker,1993
4. A library for solving polynomial systems;Berthomieu,2021
5. Julia: a fresh approach to numerical computing;Bezanson;SIAM Rev.,2017