Skip to content
logo od Eos

Eos Project

Site for Computational Origami System Eos

  • Monograph published by Springer
  • Supplement
    • For Mathematica 13 (new)
    • For Mathematica 12.2
    • For Mathematica 11 and 12.1
  • Topics from Posts
    • Eos
    • Orikoto
    • News
    • Server
    • Mathematica
  • Eos software
    • Eos 3.7
    • Eos 3.6
    • Eos3.5.0
    • Eos3.4 (3.40 and 3.41
    • Eos3.3
  • Additional material
    • Copyright issues
    • Chapter 1
    • Chapter 2
    • Chapter 3
    • Chapter 4
    • Chapter 5
    • Chapter 6
    • Chapter 7
    • Appendix
  • Origami Works
    • Orikoto programming
    • Test Examples
    • Origami Geometry
    • Art and practical origami
    • Traditional (Classical) origami
  • Talks and Public posts
    • Wolfram Conference Tokyo, Dec. 6, 2022
    • SYNASC talks
  • About this site
Posted on June 23, 2020 by Tetsuo Ida

New proof kernel

Sorry, but you do not have permission to view this content.
CategoriesEos, Mathematica

Post navigation

Previous PostPrevious Redirections
Next PostNext Metaの情報の修正

Search

March 2023
M T W T F S S
 12345
6789101112
13141516171819
20212223242526
2728293031  
« Jan    

Archives

Log In

Please log into the site.

Privacy Policy Proudly powered by WordPress