Université de Montpellier

works on

fairness 1 first-order logic 1 meta-prover 1 modal logic 1 proof search 1 strategy language 1

From the 2 of 25 papers with an AI index.

I^¼ \to e

searches

22 citations

researchers with a paper here

King leung Lee2 · h 1
Mauro Antezza2 profiles2 · h 4
N. Yotsutani2 · h 5
A. Acharyya1 · h 0
A. Chen1 · h 18
A. Cleynen1 · h 1
A. Djannati-Ataï1 · h 45
A. Dmytriiev1 · h 20
A. G. D. Giler1 · h 4
A. Genevois1 · h 14
A. Lemière1 · h 47
Alexis Joly1 · h 2

collaborating institutions

Centre National de la Recherche ScientifiqueFR16 papers
Laboratoire Univers et Particules de MontpellierFR5 papers
Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR4 papers
Laboratoire Charles CoulombFR3 papers
Institut national de recherche en sciences et technologies du numériqueFR2 papers
Institut National de Recherche pour l'Agriculture, l'Alimentation et l'EnvironnementFR2 papers
Institut Universitaire de FranceFR2 papers
National University of SingaporeSG2 papers
Sorbonne UniversitéFR2 papers
Université de BordeauxFR2 papers
Université Paris Sciences et LettresFR2 papers
A. Alikhanyan National LaboratoryAM1 paper

Showing math.AGShow all

2 papers · 1 filter

math.AG2026

On the blow-up formula of the Chow weights for polarized toric manifolds

King Leung Lee, Naoto Yotsutani

Let $X$ be a smooth projective toric variety, and let $X$ denote the blow-up of $X$ at finitely many distinct torus-invariant points. In this paper, we derive an explic…

math.AG2026

Asymptotic Chow stability of uniformly K-stable toric varieties

King leung Lee, Naoto Yotsutani

For a polarized toric variety, we provide a sufficient criterion ensuring that a uniformly K-stable polarized toric variety $(X, L)$ is asymptotically Chow polystable, under the ass…