• DocumentCode
    2315875
  • Title

    A Compiler for Origami Construction and Verification

  • Author

    Ida, Tetsuo

  • Author_Institution
    Dept. of Comput. Sci., Univ. of Tsukuba, Tsukuba, Japan
  • fYear
    2009
  • fDate
    26-29 Sept. 2009
  • Firstpage
    9
  • Lastpage
    9
  • Abstract
    This is the extended abstract of the invited tutorial on a compiler for origami construction and verification.
  • Keywords
    computational geometry; formal verification; program compilers; symbol manipulation; compiler; origami construction; origami verification; Command languages; Computer displays; Computer languages; Computer science; Logic; Polynomials; Scientific computing; Shape; Sheet materials; Solid modeling; geometric modeling; origami; symbolic computation; theorem proving;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2009 11th International Symposium on
  • Conference_Location
    Timisoara
  • Print_ISBN
    978-1-4244-5910-0
  • Electronic_ISBN
    978-1-4244-5911-7
  • Type

    conf

  • DOI
    10.1109/SYNASC.2009.61
  • Filename
    5460880
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2315875