• seqICP

  • Referenced in 1 article [sw36712]
  • invariant causal prediction and has guaranteed type I error control. For non-linear dependencies...
  • kpcalg

  • Referenced in 1 article [sw26711]
  • algorithm for causal structure learning and causal inference using graphical models. kPC is a version ... able to deal with non-linear relationships and non-Gaussian noise...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

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

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

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

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • QEPCAD

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

  • Referenced in 9810 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 1504 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • TISEAN

  • Referenced in 170 articles [sw00967]
  • Practical implementation of nonlinear time series methods: The...
  • SCIP

  • Referenced in 536 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • L-BFGS

  • Referenced in 805 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • UCI-ml

  • Referenced in 3379 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • RODAS

  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • SPSS

  • Referenced in 673 articles [sw04269]
  • SPSS is a computer program used for survey...
  • RSOLVER

  • Referenced in 74 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • Simulink

  • Referenced in 815 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...