maximaをAndroidに移植された本田康晃（https://sites.google.com/site/maximaonandroid/）さんが，maximaからQEPCAD Bへのインターフェイスqepmax（https://github.com/YasuakiHonda/qepmax）を公開しておられます．このqepmaxは，オリジナルのQEPCAD Bの拡…

# prove( `!a b c A B C. &0 < a /\ a <= b /\ b <= c /\ c < a + b /\ &0 < A /\ A <= B /\ B <= C /\ A + B + C = &180 ==> &60 <= (a * A + b * B + c * C) / (a + b + c) /\ (a * A + b * B + c * C) / (a + b + c) < &90`, REPEAT STRIP_TAC THEN REWRI…