একাধিক অজানা চলকের বহুপদী সমীকরণের একটি সেটের জন্য, এমন এলগরিদম  যা নির্ধারণ করতে পারে এর সীমিত সংখ্যক জটিল সমাধান আছে কিনা এবং যদি এই সংখ্যা সীমিত থাকে, সমাধানগুলো গুনতে পারে।