1263 search results - page 36 / 253 » Packaging Mathematical Structures |
AFPAC
2000
Springer
13 years 12 months ago
2000
Springer
The structure of hypersurfaces corresponding to different spatio-temporal patterns is considered, and in particular representations based on geometrical invariants, such as the Ri...
ISSAC
2011
Springer
12 years 10 months ago
2011
Springer
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-...
HPCN
1997
Springer
13 years 11 months ago
1997
Springer
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
DAGSTUHL
2008
13 years 9 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
CSC
2006
13 years 9 months ago
2006
- Two software packages for solving sparse systems of linear equations, SuperLU and UMFPACK, have been integrated with the University of Maine Ice Sheet Model for predicting the fo...