Maza, Marc Moreno

1. Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
   2009/03/30 by Changbo Chen, Chen, Changbo, Marc Moreno Maza +5 · 2 citations
   Computer Science · Engineering · #Advanced Numerical Analysis Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
2. KLARAPTOR: A Tool for Dynamically Finding Optimal Kernel Launch Parameters Targeting CUDA Programs
   2019/11/05 by Brandt, Alexander, Mohajerani, Davood, Maza, Marc Moreno +2 · 1 citation
   #Distributed #FOS: Computer and information sciences #Parallel #Performance (cs.PF) #and Cluster Computing (cs.DC)
3. Computations modulo regular chains
   2009/03/21 by Xin Li, Li, Xin, Marc Moreno Maza +3 · 3 citations
   Computer Science · Mathematics · #Polynomial and algebraic computation #Commutative Algebra and Its Applications #Algebraic Geometry and Number Theory