আমি জানি যে আমরা আইভিপি বা বিভিপি-র কোনও সমাধান আছে, অনন্য, এবং সীমানা / প্রাথমিক মানগুলির উপর ধারাবাহিকভাবে নির্ভর করে কিনা তা প্রমাণ করার জন্য আমরা গাণিতিক বিশ্লেষণ কৌশলগুলি ব্যবহার করতে পারি। কিছু পিডিই'র জন্য, বিশেষত অ-লিনিয়ার পিডি'র পক্ষে, খুব ভাল, যদি অসম্ভব না হয় তবে ভালভাবে পোজ দেওয়া প্রমাণ করা। সমস্যাটি ভালভাবে পোজ করা আছে কিনা তা যাচাই করার জন্য কি কোনও ধরণের সংখ্যামূলক কৌশল রয়েছে?