3 search results - page 1 / 1 » Towards mechanical derivation of Krylov solver libraries |
PROCEDIA
2010
13 years 3 months ago
2010
PLILP
1994
Springer
13 years 9 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
EFDBS
2000
13 years 6 months ago
2000
Today, bibliographical information is kept in a variety of data sources world wide, some of them publically available, and some of them also offering information about citations m...