To understand observations of low Reynolds number mixing and flow transitions in viscoelastic fluids, we study numerically the dynamics of the Oldroyd-B viscoelastic fluid model. The fluid is driven by a simple time-independent forcing that, in the absence of viscoelastic stresses, creates a cellular flow with extensional stagnation points. We find that at O(1) Weissenberg number, these flows l...

The animation of synthetic faces is still a low-level process requiring much human expertise and hw/sw resources. The constraint-based facial animation editor system, FESINC, provides two kinds of support: allows the a-priory, declarative definition of dynamical expressions and requirements, and assures that while making the animation, these requirements are fulfilled. The novelty of the approa...

We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compact representation of cut-free (ground) proofs as extensional expansion dags. Automated proof search can be realized using a few operations to manipulate extensional expansion dags with variables. These search operations form a b...