15 search results - page 1 / 3 » fcsc 2008 |
FCSC
2008
13 years 4 months ago
2008
FCSC
2007
13 years 4 months ago
2007
FCSC
2007
13 years 4 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
FCSC
2010
13 years 3 months ago
2010
Quotients and factors are important notions in the design of various computational procedures for regular languages and for the analysis of their logical properties. We propose a n...
FCSC
2008
13 years 4 months ago
2008
We present a computing environment for origami on the web. The environment consists of the computational origami engine Eos for origami construction, visualization, and geometrical...