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

DDEBIFTOOL
 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. Easytouse 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 Newtontype 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 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...

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 (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...

Cadabra
 Referenced in 80 articles
[sw00097]
 used, including verifying that the LeviCivita connection is a metric connection and a derivation...

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

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