Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...
We establish estimates for the number of solutions of certain affine congruences. These estimates are then used to prove Manin's conjecture for a cubic surface split over Q whose singularity type is D-4. This improves on a result of Browning and answers a ...
The computation of the matrix exponential is a ubiquitous operation in numerical mathematics, and for a general, unstructured n×n matrix it can be computed in O(n3) operations. An interesting problem arises if the input matrix is a Toeplitz matrix, for exa ...
We prove that Hausel’s formula for the number of rational points of a Nakajima quiver variety over a finite field also holds in a suitable localization of the Grothendieck ring of varieties. In order to generalize the arithmetic harmonic analysis in his pr ...
We formulate a conjecture about the distribution of the canonical height of the lowest non-torsion rational point on a quadratic twist of a given elliptic curve, as the twist varies. This conjecture seems to be very deep and we can prove only partial resul ...
We establish sharp upper and lower bounds for the number of rational points of bounded anticanonical height on a smooth bihomogeneous threefold defined over Q and of bidegree (1, 2). These bounds are in agreement with Manin's conjecture. ...
The dyadic scaling in the discrete wavelet transform can lead to a loss of precision, in comparison to the computationally unrealistic continuous wavelet transform. To overcome this obstacle, we propose a novel method to locally scale wavelets between dyad ...
We prove that the number of rational points of bounded height on certain del Pezzo surfaces of degree 1 defined over Q grows linearly, as predicted by Manin's conjecture. ...
We state conditions under which the set S(k) of k-rational points on a del Pezzo surface S of degree 1 over an infinite field k of characteristic not equal to 2 or 3 is Zariski dense. For example, it suffices to require that the elliptic fibration S -> P-1 ...
We use Masser's counting theorem to prove a lower bound for the canonical height in powers of elliptic curves. We also prove the Galois case of the elliptic Lehmer problem, combining Kummer theory and Masser's result with bounds on the rank and torsion of ...