Andrei Sipos

Orcid: 0000-0002-9391-6338

According to our database1, Andrei Sipos authored at least 7 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A proof-theoretic metatheorem for tracial von Neumann algebras.
Math. Log. Q., February, 2023

2022
On Extracting Variable Herbrand Disjunctions.
Stud Logica, 2022

Quantitative inconsistent feasibility for averaged mappings.
Optim. Lett., 2022

Abstract strongly convergent variants of the proximal point algorithm.
Comput. Optim. Appl., 2022

2019
Proof Mining in LP Spaces.
J. Symb. Log., 2019

2018
An abstract proximal point algorithm.
J. Glob. Optim., 2018

2017
Effective results on a fixed point algorithm for families of nonlinear mappings.
Ann. Pure Appl. Log., 2017


  Loading...