• Maple

  • Referenced in 5220 articles [sw00545]
  • your technical knowledge in an electronic form that combines calculations, explanatory text and math, graphics...
  • RODAS

  • Referenced in 1623 articles [sw04112]
  • order 4(3), for problems of the form My’=f(x,y) with possibly singular...
  • AUTO

  • Referenced in 911 articles [sw01059]
  • bifurcation analysis of algebraic systems of the form ... systems of ordinary differential equations of the form...
  • SeDuMi

  • Referenced in 1216 articles [sw04002]
  • column handling, using the Goldfarb-Scheinberg product form idea...
  • Z-Tree

  • Referenced in 613 articles [sw11707]
  • representation, allowing the simple programming of normal form games, extensive form games, double auctions...
  • REDUCE

  • Referenced in 742 articles [sw00789]
  • pattern matching in a wide variety of forms; automatic and user controlled simplification of expressions...
  • HLLE

  • Referenced in 591 articles [sw06605]
  • which is only based on the integral form of the conservation laws and the largest...
  • ScaLAPACK

  • Referenced in 410 articles [sw00830]
  • reductions to upper Hessenberg, bidiagonal and tridiagonal form, reduction of a symmetric-definite/Hermitian-definite generalized ... eigenproblem to standard form, the symmetric/Hermitian, generalized symmetric/Hermitian, and the nonsymmetric eigenproblem. Prototype codes...
  • MATCONT

  • Referenced in 399 articles [sw00551]
  • interactive environment for the continuation and normal form analysis of dynamical systems ... extended systems, and the computation of normal form coefficients for bifurcations of limit cycles...
  • WordNet

  • Referenced in 397 articles [sw01777]
  • distinctions. First, WordNet interlinks not just word forms—strings of letters—but specific senses...
  • CGAL

  • Referenced in 372 articles [sw00118]
  • efficient and reliable geometric algorithms in the form of a C++ library. CGAL is used...
  • FORM

  • Referenced in 317 articles [sw09051]
  • Computer algebra system (CAS) for very big calculations...
  • bvp4c

  • Referenced in 253 articles [sw06178]
  • system of ordinary differential equations of the form y′ = f(x,y) on the interval ... unknown parameters p for problems of the form...
  • ODEPACK

  • Referenced in 197 articles [sw08341]
  • includes solvers for systems given in explicit form, dy/dt = f(t,y), and also solvers ... systems given in linearly implicit form, A(t,y) dy/dt...
  • E Theorem Prover

  • Referenced in 196 articles [sw10187]
  • either in clausal or full first-order form. The system will then try to find ... existential (i.e. it’s of the form “there exists an X with property...
  • ANFIS

  • Referenced in 271 articles [sw08730]
  • based on both human knowledge (in the form of fuzzy if-then rules) and stipulated...
  • SVMlight

  • Referenced in 263 articles [sw04076]
  • problems lower-bounding the solution using a form of local search. A detailed description...
  • DASSL

  • Referenced in 259 articles [sw03174]
  • solve a system of the above form for Y and YPRIME. Values...
  • VAMPIRE

  • Referenced in 241 articles [sw02918]
  • system works only with clausal normal forms, the shell accepts a problem in the full...