• Surfer

  • Referenced in 12 articles [sw00931]
  • Surfer is a program to visualize real algebraic...
  • LiE

  • Referenced in 165 articles [sw01075]
  • LiE is the name of a software package...
  • GiNaC

  • Referenced in 80 articles [sw01609]
  • GiNaC is a C++ library. It is designed...
  • ACSL

  • Referenced in 50 articles [sw04216]
  • The Advanced Continuous Simulation Language, or ACSL (pronounced...
  • CARAT

  • Referenced in 45 articles [sw04293]
  • CARAT is a computer package which handles enumeration...
  • TOPCOM

  • Referenced in 65 articles [sw04867]
  • TOPCOM: Triangulations of point configurations and oriented matroids...
  • Kan

  • Referenced in 46 articles [sw04929]
  • Kan/sm1 (1991--2003) is a system for computing...
  • cohomCalg

  • Referenced in 21 articles [sw06201]
  • The algorithm for the computation of sheaf cohomologies...
  • LMFDB

  • Referenced in 162 articles [sw07249]
  • Welcome to the LMFDB, the database of L...
  • LieART

  • Referenced in 58 articles [sw08573]
  • LieART - A Mathematica Application for Lie Algebras and...
  • schubert

  • Referenced in 27 articles [sw09175]
  • Schubert: a maple package for intersection theory. This...
  • surfex

  • Referenced in 12 articles [sw10673]
  • SURFEX - Visualization of Real Algebraic Surfaces. surfex (with...
  • PADE

  • Referenced in 3 articles [sw11560]
  • PADE: A Maple package to study the PADE...
  • AperyWZ

  • Referenced in 3 articles [sw11561]
  • AperyWZ, a Maple package that tries to find...
  • Polyhedra

  • Referenced in 9 articles [sw12128]
  • Polyhedra: a package for computations with convex polyhedral...