Bruno Dinis

1. Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces
   2021/12/29 by Bruno Dinis, Dinis, Bruno, Pedro Pinto +1 · 3 citations
   Computer Science · Mathematics · #03F10 #47H05 #47H09 #47H10 #47J25 #Advanced Banach Space Theory #Approximation Theory and Sequence Spaces #FOS: Mathematics #Functional Analysis (math.FA) #Logic (math.LO) #Optimization and Variational Analysis
2. On definable Skolem functions and trichotomy
   2022/07/22 by Bruno Dinis, Dinis, Bruno, Mário J. Edmundo +1 · 1 citation
   Computer Science · Mathematics · #03C64 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras