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