
CeTA
 Referenced in 46 articles
[sw06584]
 major termination criteria: dependency pairs, dependency graphs, and reduction pairs. Second, for each of these...

SparseMatrix
 Referenced in 617 articles
[sw04629]
 structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision ... statistics, power networks, and other networks and graphs). We provide software for accessing and managing...

Traces
 Referenced in 133 articles
[sw07823]
 labeling and the automorphism group of a graph is investigated. A new algorithmic design aimed ... reduction in the search space, thereby making computation feasible for several classes of graphs which...

Reduze
 Referenced in 72 articles
[sw10354]
 reduction of different topologies is supported via a modular, load balancing job system. Fast graph...

Leibniz
 Referenced in 31 articles
[sw12871]
 lazy learner  dimension reduction of models  decomposition of graphs and matrices  solution of constrained optimization...

LoLA
 Referenced in 26 articles
[sw04381]
 state space reduction, LoLA features symmetries, stubborn sets, and coverability graphs...

Alfalfa
 Referenced in 3 articles
[sw09414]
 Alfalfa: distributed graph reduction on a hypercube multiprocessor. Alfalfa is implementation of a functional language ... abstract machine model consisting of both graph reduction and stack oriented execution. Alfalfa consists...

PELCR
 Referenced in 4 articles
[sw20841]
 environment supporting Lévy’s optimal reduction for the λcalculus on parallel (or distributed) computing ... base our work on a graph reduction technique, known as directed virtual reduction, which...

Anagopos
 Referenced in 1 article
[sw17745]
 Anagopos: a reduction graph visualizer for term rewriting and lambda calculus. We present Anagopos ... open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting ... allows stepbystep generation of reduction graphs under six different graph drawing algorithms...

GYutsis
 Referenced in 4 articles
[sw26978]
 reduction of Yutsis graphs. General angular momentum recoupling coefficients can be expressed as a summation ... cubic graph and they describe a set of reduction rules allowing a stepwise generation...

SpectralNET
 Referenced in 3 articles
[sw26161]
 SpectralNET also displays several graph visualizations, including a linear dimensionality reduction for uploaded datasets (Principal ... linear dimensionality reduction that provides an elegant view of global graph structure (Laplacian eigenvectors). CONCLUSION ... means of analyzing graphtheoretic metrics for data modeling and dimensionality reduction. SpectralNET is publicly...

DIASPORA
 Referenced in 14 articles
[sw02659]
 reductions in network traffic and user response times. DIASPORA is built over an expressive graph...

NETSYNTHESIS
 Referenced in 3 articles
[sw29379]
 algorithms for (i) transitive reduction of an initially synthesized graph subject to the constraints that...

DrScheme
 Referenced in 30 articles
[sw01265]
 Scheme programs to values, according to the reduction semantics of Scheme. It is useful ... inferences in terms of a valueﬂow graph, selectively overlaid on the program text...

GraphDemo
 Referenced in 1 article
[sw10148]
 local neighborhoods using similarity graphs: manifold methods for dimensionality reduction or data denoising, spectral clustering ... pretty unclear which kind of similarity graph one should use, and how its parameters have...

TRANSWESD
 Referenced in 1 article
[sw17199]
 removal of false positive edges. Transitive reduction is one approach for eliminating edges reflecting indirect ... reconstructing cyclic interaction graphs with true redundant structures is problematic. Results: We present TRANSWESD ... elaborated variant of TRANSitive reduction for WEighted Signed Digraphs that overcomes conceptual problems of existing ... statistical approaches for generating highquality perturbation graphs from systematic perturbation experiments...

ModularGraphForms
 Referenced in 2 articles
[sw33906]
 just two wellknown identities for banana graphs. Furthermore, we study previously known relations ... understanding of holomorphic subgraph reduction as Fay identities of KroneckerEisenstein series and opening ... door towards decomposing divergent graphs. We provide a computer implementation for the manipulation of MGFs...

SCCWalk
 Referenced in 1 article
[sw32102]
 Moreover, to improve the performance on massive graphs, we apply a lowcomplexity heuristic called ... uses two recent reduction rules to decrease the scale of massive graphs. We carry...

Geoxp
 Referenced in 7 articles
[sw08289]
 selection of a portion of the graph results in the automatic highlighting of the corresponding ... data, GeoXp includes some dimension reduction techniques such...

SpintoGrape
 Referenced in 6 articles
[sw07515]
 grouptheoretic package Gap and its graphtheoretic add on, Grape. Through studying these examples ... Finally we discuss ways in which symmetry reduction techniques incorporated within Spin, e.g., the SymmSpin...