To count the roots of sparse polynomial systems, MVC offers four different lifting strategies: implicit, static, dynamic or symmetric lifting. We briefly describe the key principles.
