Personal tools
You are here: Home
Document Actions

Welcome to SCORE Group

Fermi Note
Flapping Crane 

Research topics

  • Symbolic computation
  • Theorem proving
  • Software verification
  • Computational Origami
  • Declarative programming
  • Models of computation
              


Symbolic Computation Laboratory
Department of Computer Science
Graduate School of Systems and Information Engineering
University of Tsukuba, Tsukuba 305-8573, Japan
phone: +81 29-853-5164/fax: +81 29-853-6982


Powered by Plone CMS, the Open Source Content Management System