
GEX
 Referenced in 33 articles
[sw09961]
 twenty years, including the deductive base method, Wu’s method, the area method, the Groebner...

ArgoCLP
 Referenced in 11 articles
[sw07192]
 more easily than those generated by methods like Wu’s method). The calculus is made...

MMP/Geometer
 Referenced in 13 articles
[sw00584]
 theorem prover, MMP/Geometer implements Wu’s method for Euclidean and differential geometries, the area method...

ELIMINO
 Referenced in 8 articles
[sw11267]
 mathematics research system developed to support Wu’s method for computing characteristic sets of polynomials...

BenderWu
 Referenced in 9 articles
[sw22948]
 theory. We first generalize the method of BenderWu, and derive exact recursion relations which...

OpenGeoProver
 Referenced in 9 articles
[sw07179]
 theorem provers it implements Wu’s and Gröbner basis methods...

CharSets
 Referenced in 3 articles
[sw13623]
 Wang on the basis of WuRitt’s method of characteristic sets. The first version...

DisCAS
 Referenced in 1 article
[sw00206]
 computer algebra system developed to support Wu’s method for computing characteristic sets of polynomials...

NOPH
 Referenced in 1 article
[sw09560]
 Based on Wu’s elimination method, the homotopy analysis method as well as Padé technique...

SetTest
 Referenced in 2 articles
[sw21047]
 Zheyang Wu. ”Distributions and Statistical Power of Optimal Signal Detection Methods in Finite Samples”, submitted...

TFisher
 Referenced in 2 articles
[sw22609]
 softthresholding Fisher’s pvalue combination method which is proven to be optimal ... reference, please see Hong Zhang and Zheyang Wu. ”Optimal Thresholding of Fisher’s Pvalue...

ARVO
 Referenced in 14 articles
[sw00049]
 ARVO: A Fortran package for computing the solvent...

AXIOM
 Referenced in 169 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

Coq
 Referenced in 1751 articles
[sw00161]
 Coq is a formal proof management system. It...

Epsilon
 Referenced in 39 articles
[sw00244]
 Epsilon is a library of functions implemented in...

FUM
 Referenced in 2 articles
[sw00310]
 FUMan efficient MmB solver for steady inviscid...

gfun
 Referenced in 127 articles
[sw00344]
 The gfun package provides tools for determining and...

Maple
 Referenced in 4919 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5703 articles
[sw00554]
 Almost any workflow involves computing results, and that...

MixedVol
 Referenced in 29 articles
[sw00581]
 Algorithm 846: MixedVol: a software package for mixed...