• epsilon

  • Referenced in 17 articles [sw22364]
  • epsilon: A tool to find a canonical basis...
  • PfaffInt

  • Referenced in 2 articles [sw22464]
  • PfaffInt: Maple package for symbolic resolution of completely...
  • ParamInt

  • Referenced in 2 articles [sw22465]
  • ParamInt: Maple package for symbolic resolution of singularly...
  • Jordan

  • Referenced in 63 articles [sw23624]
  • A formal proof of the Jordan curve theorem...
  • MapX

  • Referenced in 1 article [sw29751]
  • MapX: An open geospatial platform to manage, analyze...