8874 search results - page 1 / 1775 » A New Implementation of Automath |
JAR
2002
13 years 4 months ago
2002
ENTCS
2007
13 years 5 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
ENASE
2010
13 years 3 days ago
2010
Domain Specific Modeling (DSM) has been used for a while in many scenarios, case studies, and applications successfully. This paper intends to present a new application of DSM for ...
JDCTA
2010
13 years 1 days ago
2010
Text clustering is one of the difficult and hot research fields in the text mining research. Combing Map Reduce framework and the neuron initialization method of VPSOM (vector pre...
AISC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...