Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Date Descending

Your Filters

Collection : Universite Jean Monnet - Saint-Etienne Sort Order : Publication Date Descending

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Authors : de Frutos-Fernández, María Inés; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo;

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Read More Add to Saved list

Academic Journal

On the sum of two powered numbers

Authors : Brüdern, Jörg; Robert, Olivier;

Subjects: Powered numbers; sumsets MSC(2020):11B13; 11B13

Source: Acta Arithmetica ; https://hal.science/hal-04451305 ; Acta Arithmetica, 2024, ⟨10.4064/aa230609-26-9⟩

Read More Add to Saved list

Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Authors : de Frutos-Fernández, María Inés; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo;

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

Source: CPP 2024 ; https://ujm.hal.science/ujm-04222610 ; CPP 2024, Jan 2024, London, United Kingdom

Read More Add to Saved list

Academic Journal

Some Identities Involving $q$-Stirling Numbers of the Second Kind in Type B

Authors : Ding, Mingjian; Zeng, Jiang;

Subjects: [MATH]Mathematics [math]

Source: EISSN: 1077-8926 ; The Electronic Journal of Combinatorics ; https://hal.science/hal-04450373 ; The Electronic Journal of Combinatorics, 2024, 31 (1), ⟨10.37236/12147⟩

Read More Add to Saved list

Report

Quantization-based LHS for dependent inputs : application to sensitivity analysis of environmental models

Authors : Lambert, Guerlain; Helbert, Céline; Lauvernet, Claire ...

Subjects: design of experiments; vector quantization; Latin hypercube sampling (LHS)

Source: https://ec-lyon.hal.science/hal-04546338 ; 2024.

Read More Add to Saved list

Report

Sharply 2-transitive groups of finite Morley rank

Authors : Altinel, Tuna; Berkman, Ayse; Wagner, Frank Olaf ...

Subjects: sharply $2$-transitive; Frobenius group; finite Morley rank

Source: https://hal.science/hal-01935537 ; 2024.

Read More Add to Saved list

Report

On the faces of the tensor cone of symmetrizable Kac-Moody Lie algebras ; Sur les faces du cône tensoriel d'une algèbre de Kac-Moody symétrisable

Authors : Kumar, Shrawan; Ressayre, Nicolas;

Subjects: 20G44; 14M15; 14M17

Source: https://hal.science/hal-02007160 ; 2024.

Read More Add to Saved list

Report

A conformal geometric point of view on the Caffarelli-Kohn-Nirenberg inequality

Authors : Dupaigne, Louis; Gentil, Ivan; Zugmeyer, Simon ...

Subjects: [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]

Source: https://hal.science/hal-03456704 ; 2024.

Read More Add to Saved list

Report

About the optimal estimation of a density with infinite support under Hellinger loss

Authors : Sart, Mathieu;

Subjects: Besov classes; Minimax rates; Non-parametric estimation

Source: https://hal.science/hal-04042886 ; 2024.

Read More Add to Saved list

Report

Persistence, extinction and spreading properties of non-cooperative Fisher--KPP systems in space-time periodic media

Authors : Girardin, Léo;

Subjects: KPP nonlinearities; space-time periodicity; reaction-diffusion system

Source: https://hal.science/hal-04109051 ; 2024.

Read More Add to Saved list