http://server-test.net/math/php.php?name=tokyo&v1=1&v2=2020&v3=1&v4=1&y=2020&n=1

todai-2020-1.txt

[todai-2020-1]
(a,b,c,p,x)
4
(E x)[
    [[a x^2 + b x + c > 0 /\ b x^2 + c x + a > 0 /\ c x^2 + a x + b > 0] <==>
    [x > p]] ==> [p = 0]
].
finish

出力.txt

$ bin/qepcadd <todai-2020-1.txt 
=======================================================
                Quantifier Elimination                 
                          in                           
            Elementary Algebra and Geometry            
                          by                           
      Partial Cylindrical Algebraic Decomposition      
                                                       
               Version B 1.69, 16 Mar 2012
                                                       
                          by                           
                       Hoon Hong                       
                  (hhong@math.ncsu.edu)                
                                                       
With contributions by: Christopher W. Brown, George E. 
Collins, Mark J. Encarnacion, Jeremy R. Johnson        
Werner Krandick, Richard Liska, Scott McCallum,        
Nicolas Robidoux, and Stanly Steinberg                 
=======================================================
Enter an informal description  between '[' and ']':
[todai-2021-1]Enter a variable list:
(a,b,c,p,x)Enter the number of free variables:
4
Enter a prenex formula:
(E x)[
    [[a x^2 + b x + c > 0 /\ b x^2 + c x + a > 0 /\ c x^2 + a x + b > 0] <==>
    [x > p]] ==> [p = 0]
].

=======================================================

Before Normalization >
finish
Warning! Some 3-level projection factor is acting as a 
delineating polynomial for another!  CAD Simplification does not
take this into account!
Warning! Some 3-level projection factor is acting as a 
delineating polynomial for another!  CAD Simplification does not
take this into account!

An equivalent quantifier-free formula:

TRUE


=====================  The End  =======================

-----------------------------------------------------------------------------
21 Garbage collections, 7055431 Cells and 0 Arrays reclaimed, in 232 milliseconds.
157349 Cells in AVAIL, 500000 Cells in SPACE.

System time: 913 milliseconds.
System time after the initialization: 908 milliseconds.
-----------------------------------------------------------------------------