Tiago M. L. de Veras
- Quantum Multiplexer Simplification for State Preparation
2024/09/09 by de Carvalho, José A., Carlos A. Batista, Batista, Carlos A. +6 · 1 citation
Computer Science · #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- An alternative approach to the calculation of fundamental groups based on labeled natural deduction
2019/06/19 by Tiago M. L. de Veras, de Veras, Tiago M. L., Arthur Ramos +5 · 1 citation
Computer Science · Mathematics · #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems