
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 ifthenelse connectives obtaining some new results with respect...

DDEBIFTOOL
 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. Easytouse 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 Newtontype 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 RhoneAlpes 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 (brainconnectivitytoolbox.net) is a MATLAB toolbox for complexnetwork (graph) analysis of structural ... functional brainconnectivity 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 LeviCivita connection is a metric connection and a derivation...

gSpan
 Referenced in 109 articles
[sw11908]
 depthfirst 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...