1 citations · 2 across the 18 of their papers we have counts for
4 papers · 1 filter
Failure of Orthogonality of Rounded Fourier Bases
François Clément, Stefan Steinerberger
The purpose of this note is to prove estimates for $$ \left| \sum_{k=1}^{n} \mbox{sign} \left( \cos \left( \frac{2πa}{n} k \right) \right) \mbox{sign} \left( \cos \left( \frac{2πb}…
Approximately Jumping Towards the Origin
Alex Albors, François Clément, Shosuke Kiami +3
Given an initial point and a sequence of vectors in , we define a greedy sequence by setting where…
Finite element method. Detailed proofs to be formalized in Coq
François Clément, Vincent Martin
To obtain the highest confidence on the correction of numerical simulation programs for the resolution of Partial Differential Equations (PDEs), one has to formalize the mathematic…
Outperforming the Best 1D Low-Discrepancy Constructions with a Greedy Algorithm
François Clément
The design of uniformly spread sequences on has been extensively studied since the work of Weyl and van der Corput in the early century. The current best s…