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

SparseMatrix
 Referenced in 559 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 93 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 69 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...

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

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

PELCR
 Referenced in 3 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...

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

SpectralNET
 Referenced in 2 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...

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

DrScheme
 Referenced in 28 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...

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

Geoxp
 Referenced in 6 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...

InfoMod
 Referenced in 1 article
[sw21234]
 classes in terms of certain infinite planar graphs (dessins) called c{c}arks. InfoMod illustrates ... various aspects of these forms, i.e. Gauss’ reduction algorithm, the representation problem of forms, ambiguous...

EigenCFA
 Referenced in 3 articles
[sw14136]
 from linearalgebra operations. Central to this reduction were “abstract” Church encodings, and encodings ... critical accelerants. Because controlflow graphs are sparse in practice (up to 96% empty...