Publications related to Existence for a Stationary Model of Binary Alloy Solidification

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

2023

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Serge Vaudenay, Bénédikt Minh Dang Tran

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

2023

The Jordan property for local fundamental groups

Stefano Filipazzi, Roberto Svaldi

We show the Jordan property for regional fundamental groups of klt singularities of fixed dimension. Furthermore, we prove the existence of effective simultaneous index 1 covers for n-dimensional klt singularities. We give an application to the study of lo ...

2022

Functional estimation of anisotropic covariance and autocovariance operators on the sphere

Victor Panaretos, Julien René Pierre Fageot, Matthieu Martin Jean-André Simeoni, Alessia Caponera

We propose nonparametric estimators for the second-order central moments of possibly anisotropic spherical random fields, within a functional data analysis context. We consider a measurement framework where each random field among an identically distribute ...

2022

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Hoài-Minh Nguyên

The controllability cost for the heat equation as the control time

T

goes to 0 is well-known of the order

e^{C/T}

for some positive constant

C

, depending on the controlled domain and for all initial datum. In this paper, we prove that the constant $C ...

2021

Global bifurcation at isolated singular points of the Hadamard derivative

Charles Stuart

Consider F is an element of C(RxX,Y) such that F(lambda, 0) = 0 for all lambda is an element of R, where X and Y are Banach spaces. Bifurcation from the line Rx{0} of trivial solutions is investigated in cases where F(lambda, center dot ) need not be Frech ...

2021

A comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

Maryam Kamgarpour, Baiwei Guo, Orcun Karaca

We provide a counterexample to the performance guarantee obtained in the paper "Il'ev, V., Linker, N., 2006. Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid", which was published in Volume 171 of the Eur ...

ELSEVIER2021

Quantitative rapid and finite time stabilization of the heat equation

Shengquan Xiang

The null controllability of the heat equation is known for decades [21, 25, 34]. The finite time stabilizability of the one dimensional heat equation was proved by Coron-Nguyên [15], while the same question for high dimensional spaces remained widely open. ...

2020

A proof of a sumset conjecture of Erdős

Florian Karl Richter

In this paper we show that every set A ⊂ ℕ with positive density contains B + C for some pair B, C of infinite subsets of ℕ , settling a conjecture of Erdős. The proof features two different decompositions of an arbitrary bounded sequence into a structured ...

2019

Existence for a Stationary Model of Binary Alloy Solidification

Graph Chatbot

Chat with Graph Search

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

LISA – A Modern Proof System

A Gapless Post-quantum Hash Proof System in the Hamming Metric

The Jordan property for local fundamental groups

Functional estimation of anisotropic covariance and autocovariance operators on the sphere

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Global bifurcation at isolated singular points of the Hadamard derivative

A comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

Quantitative rapid and finite time stabilization of the heat equation

A proof of a sumset conjecture of Erdős

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

LISA – A Modern Proof System

A proof of a sumset conjecture of Erdős

A comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

Functional estimation of anisotropic covariance and autocovariance operators on the sphere

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Global bifurcation at isolated singular points of the Hadamard derivative

Quantitative rapid and finite time stabilization of the heat equation

The Jordan property for local fundamental groups

A Gapless Post-quantum Hash Proof System in the Hamming Metric