في نظرية المُعامل، تشير متباينة فون نيومان von Neumann's inequality، (نسبة إلى جون فون نيومان)، إلى أن خريطة حساب التفاضل والتكامل الوظيفية المتعددة الحدود هي في حد ذاتها تقلص بالنسبة للتقلص الثابت T.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).