The following pages link to (Q4827633):
Displaying 6 items.
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- Goal-oriented error estimation in the analysis of fluid flows with structural interactions (Q996666) (← links)
- Self-consistent boundary conditions with blurred derivatives (Q2269225) (← links)
- Computational fluid and solid mechanics. Selected papers form the 1st MIT conference, Cambridge, MA, USA, June 12--15, 2001. In 2 vol (Q2735581) (← links)
- A generalized BPX multigrid framework covering nonnested V-cycle methods (Q3420425) (← links)
- (Q4488341) (← links)