extensions:tropicalcubics

Media Manager

    Date:
    2020/09/10 17:50
    Filename:
    output_0.svg
    Size:
    2KB
    References for:
    Tutorial: Patchworking real tropical hypersurfaces
    • extensions/tropicalcubics.txt
    • Last modified: 2021/01/12 14:34
    • by 127.0.0.1