Our purpose here is to announce results in harmonic analysis related to a large class of hypoelliptic operators on arbitrary simply-connected nilpotent Lie groups. We find the asymptotic development of their fundamental solutions, both locally and at infinity, and study corresponding Riesz transforms and analogues of the Hardy-Littlewood-Sobolev theorem for fractional integration. Details will ...

We present RAND, an input-output relational abstract domain that expresses relations between values of non-recursive algebraic data types (ADTs), and numeric their scalar parts. RAND is parametrised on a user-provided domain, we lift to pairs variables projection paths. It constructed as disjunctive completion reduced product domains for relations, equalities, cases variant constructors. Using ...

We have revisited the silhouette algorithm developed by Canny, and designed its new symbolic-numeric version. The symbolic-numeric silhouette algorithm do not require the symbolic computation of the determinants of resultant matrices, and can work on oating point arithmetic. Though its combinatorial complexity remains the same, but its algebraic complexity has been improved signi cantly which i...