Verified Solutions of Algebraic Systems

From SIAG-AG

Jump to: navigation, search
  • Angelos Mantzaflaris (RICAM Austrian Academy of Sciences)
  • Chee Yap (New York University)
  • Anton Leykin (Georgia Tech)
  • Nan Li (Tianjin Center for Applied Mathematics)
Views
Personal tools