• mftoolbox

  • Referenced in 511 articles [sw23743]
  • Matrix Function Toolbox is a MATLAB toolbox connected with functions of matrices. It is associated...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • equations and global optimization problems. The connection between these two themes is that zero finding ... present. Many extensive remarks and explanations are connected with INTLIB, INTLIB 90 and INTOPT ... studies function expressions containing if-then-else connectives obtaining some new results with respect...
  • DDE-BIFTOOL

  • Referenced in 311 articles [sw02396]
  • Hopf and fold bifurcations, periodic solutions and connecting orbits (but the latter only ... roots. Periodic solutions, their Floquet multipliers and connecting orbits are computed using piecewise polynomial collocation...
  • GeoGebra

  • Referenced in 370 articles [sw04203]
  • Quick Facts: Graphics, algebra and tables are connected and fully dynamic. Easy-to-use interface...
  • Adam

  • Referenced in 345 articles [sw22205]
  • interpretations and typically require little tuning. Some connections to related algorithms, on which Adam...
  • NuSMV

  • Referenced in 298 articles [sw04131]
  • based Bounded Model Checker, which can be connected to the Minisat SAT Solver and/or...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • design of the language is closely connected with the Eiffel programming method. Both are based...
  • NewtonLib

  • Referenced in 273 articles [sw04796]
  • construct adaptive Newton-type algorithms in close connection with an associated affine invariant convergence analysis...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • well as a powerful module system, all connected by a sound, polymorphic type system featuring...
  • NEURON

  • Referenced in 179 articles [sw03059]
  • presynaptic spike generation to postsynaptic spike delivery connection delay. The performance of three published network...
  • FEAP

  • Referenced in 171 articles [sw04963]
  • option to output nodal coordinates and element connection arrays. In this case...
  • Algorithm 447

  • Referenced in 137 articles [sw12877]
  • presented for partitioning a graph into connected components, biconnected components and simple paths. The algorithm...
  • ReALE

  • Referenced in 95 articles [sw18074]
  • obtained by moving grid nodes without changing connectivity of the mesh. Such rezone strategy ... mesh. In our new method we allow connectivity of the mesh to change in rezone...
  • CADP

  • Referenced in 130 articles [sw04993]
  • VASY team at INRIA Rhone-Alpes and connected to various complementary tools. CADP is maintained...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • logic. The system is based on the connection method and is proved to be sound...
  • Brain Connectivity Toolbox

  • Referenced in 71 articles [sw26516]
  • Brain Connectivity Toolbox (brain-connectivity-toolbox.net) is a MATLAB toolbox for complex-network (graph) analysis of structural ... functional brain-connectivity data sets. Several people have contributed to the toolbox and users...
  • LMFDB

  • Referenced in 114 articles [sw07249]
  • LMFDB for descriptions of connections between these objects. For additional information, there is a useful...
  • Cadabra

  • Referenced in 82 articles [sw00097]
  • used, including verifying that the Levi-Civita connection is a metric connection and a derivation...
  • gSpan

  • Referenced in 109 articles [sw11908]
  • depth-first search strategy to mine frequent connected subgraphs efficiently. Our performance study shows that...
  • Pastry

  • Referenced in 107 articles [sw11775]
  • potentially very large overlay network of nodes connected via the Internet. It can be used...