1. Oscar - open source computer algebra research system, version 1.0 (2024), https://www.oscar-system.org
2. Ardila-Mantilla, F., Eur, C., Penaguiao, R.: The tropical critical points of an affine matroid. Sém. Lothar. Combin. 89B, Art. 28, 12 (2023)
3. Breiding, P., Timme, S.: HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia. In: International Congress on Mathematical Software. pp. 458–465. Springer (2018)
4. Helminck, P.A., Ren, Y.: Generic root counts and flatness in tropical geometry (2022)
5. Herrmann, S., Joswig, M., Speyer, D.E.: Dressians, tropical Grassmannians, and their rays. Forum Math. 26(6), 1853–1881 (2014). https://doi.org/10.1515/forum-2012-0030