• mftoolbox

  • Referenced in 485 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 304 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 328 articles [sw04203]
  • Quick Facts: Graphics, algebra and tables are connected and fully dynamic. Easy-to-use interface...
  • NuSMV

  • Referenced in 295 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...
  • Adam

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

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

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

  • Referenced in 178 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...
  • 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...
  • ReALE

  • Referenced in 84 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...
  • Brain Connectivity Toolbox

  • Referenced in 70 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...
  • Cadabra

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

  • Referenced in 108 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...
  • LMFDB

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