• 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 Bender-Wu, and derive exact recursion relations which...
  • CharSets

  • Referenced in 3 articles [sw13623]
  • Wang on the basis of Wu-Ritt’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]
  • soft-thresholding Fisher’s p-value combination method which is proven to be optimal ... reference, please see Hong Zhang and Zheyang Wu. ”Optimal Thresholding of Fisher’s P-value...
  • 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]
  • FUM---an 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...