• CoCoA

• Referenced in 654 articles [sw00143]
• CoCoA is a system for Computations in Commutative...

• dpgb

• Referenced in 16 articles [sw00217]
• Improving the DISPGB algorithm using the discriminant ideal...

• Maple

• Referenced in 5363 articles [sw00545]
• The result of over 30 years of cutting...

• PGB

• Referenced in 25 articles [sw00704]
• We describe a new software package, named PGB...

• R

• Referenced in 9810 articles [sw00771]
• R is a language and environment for statistical...

• SINGULAR

• Referenced in 1504 articles [sw00866]
• SINGULAR is a Computer Algebra system (CAS) for...

• UCI-ml

• Referenced in 3379 articles [sw04074]
• UC Irvine Machine Learning Repository. We currently maintain...

• GeoGebra

• Referenced in 381 articles [sw04203]
• GeoGebra is free and multi-platform dynamic mathematics...

• Geometer's Sketchpad

• Referenced in 228 articles [sw04858]
• The Geometer’s Sketchpad® is the world’s...

• OEIS

• Referenced in 4187 articles [sw07248]
• The On-Line Encyclopedia of Integer Sequence. The...

• GEX

• Referenced in 35 articles [sw09961]
• Geometry Expert (GEX) is a software for dynamic...

• HOARD ATINF

• Referenced in 2 articles [sw28890]
• Emphasizing human techniques in automated geometry theorem proving...

• parametric GCD

• Referenced in 4 articles [sw35034]
• An efficient algorithm for computing parametric multivariate polynomial...