Andrés Rojas Paredes
- Software Engineering and complexity in effective Algebraic Geometry
2012/05/05 by Joos Heintz, Bart Kuijpers, Andrés Rojas Paredes · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Polynomial and algebraic computation