Sciweavers

1021 search results - page 39 / 205
» On the generalized Navier-Stokes equations
Sort
View
ENTCS
2002
121views more  ENTCS 2002»
13 years 8 months ago
Modal Predicates and Co-equations
We show how coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category X, namely where X is...
Alexander Kurz, Jirí Rosický
ISSAC
1993
Springer
119views Mathematics» more  ISSAC 1993»
14 years 26 days ago
Finding all Hypergeometric Solutions of Linear Differential Equations
Hypergeometric sequences are such that the quotient of two successive terms is a fixed rational function of the index. We give a generalization of M. Petkov6ek’s algorithm to fi...
Marko Petkovsek, Bruno Salvy
ADCM
2008
71views more  ADCM 2008»
13 years 9 months ago
Solvability of partial differential equations by meshless kernel methods
This paper first provides a common framework for partial differential equation problems in both strong and weak form by rewriting them as generalized interpolation problems. Then ...
Y. C. Hon, Robert Schaback
SIAMNUM
2010
87views more  SIAMNUM 2010»
13 years 3 months ago
Flux Recovery and A Posteriori Error Estimators: Conforming Elements for Scalar Elliptic Equations
In this paper, we first study two flux recovery procedures for the conforming finite element approximation to general second-order elliptic partial differential equations. One is a...
Zhiqiang Cai, Shun Zhang
PEPM
2004
ACM
14 years 2 months ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...