Publications associées à Sur la méthode de Buser-Silhol pour l'uniformisation des surfaces de Riemann hyperelliptiques

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Formal verification utilizing symbolic computer algebra has demonstrated the ability to formally verify large Galois field arithmetic circuits and basic architectures of integer arithmetic circuits. The technique models the circuit as Gröbner basis polynom ...

IEEE2016

Fibre Products of Supersingular Curves and the Enumeration of Irreducible Polynomials with Prescribed Coefficients

Robert Granger

For any positive integers

n\geq 3, r\geq 1

we present formulae for the number of irreducible polynomials of degree

n

over the finite field

\mathbb{F}_{2^r}

where the coefficients of

x^{n-1}

,

x^{n-2}

and

x^{n-3}

are zero. Our proofs involve coun ...

Elsevier2016

On the Richter-Thomassen Conjecture about Pairwise Intersecting Closed Curves

János Pach, Gábor Tardos

A long-standing conjecture of Richter and Thomassen states that the total number of intersection points between any n simple closed Jordan curves in the plane, so that any pair of them intersect and no three curves pass through the same point, is at least ...

Cambridge Univ Press2016

Motivic invariants of moduli spaces of rank 2 Bradlow-Higgs triples

Riccardo Grandi

In the present thesis we study the geometry of the moduli spaces of Bradlow-Higgs triples on a smooth projective curve C. There is a family of stability conditions for triples that depends on a positive real parameter Ï. The moduli spaces of Ï-semistable ...

EPFL2016

An Inner-Product Calculus for Periodic Functions and Curves

Michaël Unser, Daniel Andreas Schmitter, Anaïs Laure Marie-Thérèse Badoual

Our motivation is the design of efficient algorithms to process closed curves represented by basis functions or wavelets. To that end, we introduce an inner-product calculus to evaluate correlations and

L _{ 2 }

distances between such curves. In partic ...

2016

Minimizing movements along a sequence of functionals and curves of maximal slope

Maria Colombo

We prove that a general condition introduced by Colombo and Gobbino to study limits of curves of maximal slope allows us to characterize also minimizing movements along a sequence of functionals as curves of maximal slope of a limit functional. ...

2016

Numerical homogenization methods for advection-diffusion and nonlinear monotone problems with multiple scales

Martin Ernst Huber

Many applied problems, like transport processes in porous media or ferromagnetism in composite materials, can be modeled by partial differential equations (PDEs) with heterogeneous coefficients that rapidly vary at small scales. To capture the effective be ...

EPFL2015

Reduced basis multiscale finite element methods for elliptic problems

Jan Sickmann Hesthaven

In this paper, we propose reduced basis multiscale finite element methods (RB-MsFEM) for elliptic problems with highly oscillating coefficients. The method is based on multiscale finite element methods with local test functions that encode the oscillatory ...

Society for Industrial and Applied Mathematics2015

Analytic derivation of the (k/j)-order modulation envelopes in the sum of two mistuned (co)sine waves

Isaac Amidror

The beating effects which may occur in the sum of two mistuned cosine (or sine) functions whose frequencies f1, f2 satisfy f2 ≈ (k/j)f1 (where k/j is a reduced integer ratio) are known as “beats of mistuned consonances”. They have already been investigated ...

2015

Cohomology Of Large Semiprojective Hyperkahler Varieties

Tamás Hausel

In this paper we survey geometric and arithmetic techniques to study the cohomology of semiprojective hyperkahler manifolds including toric hyperkahler varieties, Nakajima quiver varieties and moduli spaces of Higgs bundles on Riemann surfaces. The resulti ...

Soc Mathematique France2015

Sur la méthode de Buser-Silhol pour l'uniformisation des surfaces de Riemann hyperelliptiques

Graph Chatbot

Chattez avec Graph Search

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Fibre Products of Supersingular Curves and the Enumeration of Irreducible Polynomials with Prescribed Coefficients

On the Richter-Thomassen Conjecture about Pairwise Intersecting Closed Curves

Motivic invariants of moduli spaces of rank 2 Bradlow-Higgs triples

An Inner-Product Calculus for Periodic Functions and Curves

Minimizing movements along a sequence of functionals and curves of maximal slope

Numerical homogenization methods for advection-diffusion and nonlinear monotone problems with multiple scales

Reduced basis multiscale finite element methods for elliptic problems

Analytic derivation of the (k/j)-order modulation envelopes in the sum of two mistuned (co)sine waves

Cohomology Of Large Semiprojective Hyperkahler Varieties

Analytic derivation of the (k/j)-order modulation envelopes in the sum of two mistuned (co)sine waves

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Reduced basis multiscale finite element methods for elliptic problems

Fibre Products of Supersingular Curves and the Enumeration of Irreducible Polynomials with Prescribed Coefficients

On the Richter-Thomassen Conjecture about Pairwise Intersecting Closed Curves

Motivic invariants of moduli spaces of rank 2 Bradlow-Higgs triples

Minimizing movements along a sequence of functionals and curves of maximal slope

Numerical homogenization methods for advection-diffusion and nonlinear monotone problems with multiple scales

Cohomology Of Large Semiprojective Hyperkahler Varieties

An Inner-Product Calculus for Periodic Functions and Curves