• Numerical analysis for minimum-entropy moment models with piece-wise linear (continuous and discontinuous) basis functions. Second-order realizability-preserving splitting scheme in space time. Easy implementation of “realizability limiter”. Models prove to be qualitatively competitive full-moment (but much cheaper the implementation). We derive a second-order kinetic equations. apply this fi...

A logical calculus, not unlike Gentzen's sequent calculus for intuitionist logic, is described which is sound for polynomial-time realizability as deened by Crossley and Remmel. The sequent calculus admits cut elimination, thus giving a decision procedure for the propositional fragment. 0 Introduction In 4], a restricted notion of realizability is introduced, a special case of which is polynomi...