Results 21 to 26 of 26
Sort by:

  • 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...