language-icon Old Web
English
Sign In
Acemap > Paper > Interactive construction and automated proof in Eos system with application to knot fold of regular polygons

Interactive construction and automated proof in Eos system with application to knot fold of regular polygons

2015 
Keywords:
    • Correction
    • Cite
    • Save
    • Machine Reading By IdeaReader
    0
    References
    0
    Citations
    NaN
    KQI
    []
    logo
    • CCF Conference Analysis
    • Map Galaxy
    • What's New
    © Copyright 2015-2020 Acemap, Inc. Shanghai Jiao Tong University.