• RAFCON

  • Referenced in 0 articles [sw15211]
  • which our mobile robot solved all exploration and assembly challenges fully autonomously. It is therefore...
  • Argoverse

  • Referenced in 2 articles [sw36642]
  • trajectory forecasting. Argoverse is the first autonomous vehicle dataset to include ”HD maps” with ... rich maps in robotic perception. We hope that Argoverse will enable the research community...
  • FAtiMA

  • Referenced in 1 article [sw37739]
  • development of intelligent virtual agents and social robots. More than a decade has passed since ... FAtiMA, an affective agent architecture for creating autonomous characters that can evoke empathic responses ... years across different virtual environments and human-robot interaction scenarios. As a result, this work...
  • KNITRO

  • Referenced in 200 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Octave

  • Referenced in 312 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • QEPCAD

  • Referenced in 285 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

  • Referenced in 1522 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SymPy

  • Referenced in 164 articles [sw00940]
  • SymPy is a Python library for symbolic mathematics...
  • TSPLIB

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • MACSYMA

  • Referenced in 721 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • Rapide: A language and toolset for simulation of...
  • Kronos

  • Referenced in 274 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • SOAR

  • Referenced in 22 articles [sw02109]
  • SOAR: a cognitive architecture in perspective. A tribute...