3 search results - page 1 / 1 » Towards mechanical derivation of Krylov solver libraries |
PROCEDIA
2010
14 years 10 months ago
2010
PLILP
1994
Springer
15 years 3 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...
111
Voted
EFDBS
2000
15 years 25 days 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...