Displaying similar documents to “Über den algorithmischen Nachweis von Ungleichungen I.”