This paper focuses on the construction of continuous approximation scheme for the solution of first order initial value problems in ordinary differential equations. We exploit here the elegant properties of the Chebyshev polynomials and derive from the continuous scheme, an implicit hybrid block method through some selected points. The self-starting method was implemented on three test problems...

In this paper we develop a hybrid symbolic-numeric fast method for solving the secular equation associated with a diagonal plus rank-one eigenvalue problem of order n in O(n) operations and O(n) storage. AMS classification: 65F15

The present study introduces articulography, the measurement of the position of tongue and lips during speech, as a promising method to the study of dialect variation. By using generalized additive modeling to analyze articulatory trajectories, we are able to reliably detect aggregate group differences, while simultaneously taking into account the individual variation across dozens of speakers....

This contribution contains a fast SAT solver for Isabelle written in Standard ML. By loading the theory DPT SAT Solver, the SAT solver installs itself (under the name “dptsat”) and certain Isabelle tools like Refute will start using it automatically. This is a port of the DPT (Decision Procedure Toolkit) SAT Solver written in OCaml. Theory DPT SAT Tests tests the solver on a few hundred problems.