United Kingdom (GB)

Integrating Computer Algebra into Proof Planning (1998) Kerber M, Kohlhase M, Sorge V Journal article, Original article Tectonic and volcanic controls on Early Jurassic rift-valley lake deposits interleaved with Karoo flood basalts, Southern Namibia. (1998) Stollhofen H, Gerschütz S, Stanistreet IG, Lorenz V Journal article, Original article Sheet metal 1998, Proceedings of the International Conference (1998) Kals H, Geiger M, Shirvani B, Singh U Edited Volume Finite element approximation of the transport of reactive solutes in porous media. part II: Error estimates for equilibrium adsorption processes (1997) Barrett JW, Knabner P Journal article, Original article Lagrange-Galerkin Approximation For Advection-Dominated Contaminant Transport With Nonlinear Equilibrium Or Non-equilibrium Adsorption (1997) Barrett JW, Kappmeier H, Knabner P Book chapter / Article in edited volumes Configural frequency analysis of dependent samples for intra-patient treatment comparisons (1997) Stemmler M, Hammond S Journal article ΩMEGA: Towards a mathematical assistant (1997) Benzmüller C, Huang X, Kohlhase M, Melis E, Siekmann J, Sorge V Conference contribution, Original article Omega MEGA: Towards a mathematical assistant (1997) Benzmüller C, Huang X, Kohlhase M, Kerber M, Melis E, Siekmann J, Sorge V Conference contribution, Original article Finite Element Approximation of the Transport of Reactive Solutes in Porous Media. Part 1: Error Estimates for Nonequilibrium Adsorption Processes (1997) Barrett JW, Knabner P Journal article, Original article Sheet Metal 1997, Proceedings of the International Conference (SheMet'97) (1997) Singh U, Geiger M, Kals H, Shirvani B Edited Volume