1263 search results - page 37 / 253 » Packaging Mathematical Structures |
Book
"This is a textbook for a first computer science course for students majoring in computer science, as well as mathematics and the physical and social sciences"
MKM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
BIOINFORMATICS
2006
13 years 7 months ago
2006
A small class of RNA molecules, in particular the tiny genomes of viroids, are circular. Yet most structure prediction algorithms handle only linear RNAs. The most straightforward ...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
CSDA
2006
13 years 7 months ago
2006
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...