62 search results - page 1 / 13 » On Duplication in Mathematical Repositories |
AISC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there is also the task of m...
ITA
2007
13 years 4 months ago
2007
Duplication is the replacement of a factor w within a word by ww. This operation can be used iteratively to generate languages starting from words or sets of words. By undoing dupl...
MKM
2007
Springer
13 years 10 months ago
2007
Springer
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
MKM
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
An open source project typically maintains an open bug repository so that bug reports from all over the world can be gathered. When a new bug report is submitted to the repository...