• CGAL

  • Referenced in 360 articles [sw00118]
  • molecular biology, medical imaging, robotics and motion planning, mesh generation, numerical methods... More...
  • OMPL

  • Referenced in 3 articles [sw33230]
  • OMPL, the Open Motion Planning Library, consists of many state-of-the-art sampling-based ... motion planning algorithms. OMPL itself does not contain any code related to, e.g., collision checking ... front-end can be used for planning motions for rigid bodies and a few vehicle...
  • LAMP

  • Referenced in 2 articles [sw13377]
  • Symbolic computation for mobile robot path planning. Motion planning for mobile robots is an arduous ... available software tool, called the Lie Algebraic Motion Planner-LAMP ... written in Mathematica, which automates motion planning based on this technique...
  • L5Kit

  • Referenced in 2 articles [sw36636]
  • learning tasks, such as motion forecasting, motion planning and simulation. The full dataset is available...
  • LTLMoP

  • Referenced in 2 articles [sw23171]
  • robot control. The Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit is a software package designed ... such as controller synthesis, semantic parsing, motion planning, and human-robot interaction...
  • Simox

  • Referenced in 1 article [sw26542]
  • simulation of robot systems, sampling based motion planning and grasp planning. The Virtual Robot library ... these definitions for planning grasps or collision-free motions. State ... implementations of sampling-based motion planning algorithms (e.g. Rapidly-exploring Random Trees) are served...
  • MSL

  • Referenced in 1 article [sw33331]
  • allows easy development and testing of motion planning algorithms for a wide variety of applications ... help spread interest and applications of motion planning algorithms. Presently MSL includes planners based...
  • CAD2RL

  • Referenced in 1 article [sw35708]
  • environment or perform explicit motion planning. Our learned collision avoidance policy is represented...
  • robot_arm

  • Referenced in 1 article [sw13300]
  • from a more extensive problem of motion planning for the end effector of a robot...
  • VISSIM

  • Referenced in 15 articles [sw13506]
  • their interactions in one model. Scientifically sound motion models provide a realistic modelling ... powerful tool for the evaluation and planning of urban and extra-urban transport infrastructure...
  • MOVIEMOD

  • Referenced in 2 articles [sw23375]
  • been released. Unlike other forecasting models for motion pictures, the calibration of MOVIEMOD does ... sales and the evaluation of alternative marketing plans...
  • AMIKS

  • Referenced in 2 articles [sw22460]
  • electromagnetic field, SDE of fluid and gas motion, SDE with Poisson component. AMIKS is capable ... partial derivatives. Later, the authors plan to continue developing tools for the analysis...
  • BEMLIB

  • Referenced in 101 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ADOL-C

  • Referenced in 239 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 316 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Boolector

  • Referenced in 28 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 269 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HOM4PS

  • Referenced in 76 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • HURRY

  • Referenced in 27 articles [sw00420]
  • HURRY: An acceleration algorithm for scalar sequences and...