evalhf

swMATH14237MaRDI QIDQ26142FDOQ26142

Author name not available (Why is that?)

Cited In (2)

• In honour of Keith Geddes on his 60th birthday
• Some notes on a method for proving inequalities by computer

This page was built for software: evalhf