
SAcluster
 Referenced in 8 articles
[sw06867]
 topological structures, but largely ignore the vertex properties which are often heterogeneous. Recently...

Inccluster
 Referenced in 4 articles
[sw06866]
 topological structures, but largely ignore the vertex properties which are often heterogeneous. Recently...

GraphX
 Referenced in 9 articles
[sw15432]
 abstraction: a directed multigraph with properties attached to each vertex and edge. To support graph...

Peano
 Referenced in 27 articles
[sw08712]
 points for applications performing perelement, pervertex, and so forth operations on the grid ... sophisticated geometry representations, and other features. Some properties are enlisted below...

01poly
 Referenced in 16 articles
[sw14281]
 information see my publication No 21 Extremal Properties of 0/1Polytopes of Dimension 5. The output ... bitvector (e.g. a 1 for every vertex of the set, order...

singer_lattice
 Referenced in 4 articles
[sw22695]
 whose vertex stabilizers are cyclic. We show that several of their properties, such as their...

OpenAD/F
 Referenced in 21 articles
[sw09380]
 using locally optimized crosscountry sequences of vertex, edge, and face elimination steps. Specifically ... some of the model’s transport properties with respect to gridded fields such as bottom...

BubbleFOS/C
 Referenced in 8 articles
[sw06814]
 with good partition shapes and other favorable properties. In this paper we prove that ... random walks, we prove that in vertextransitive graphs both parts must be connected components...

Theta*
 Referenced in 7 articles
[sw31693]
 achieves a better worstcase complexity per vertex expansion than Basic Theta* by propagating angle ... Theta* collectively as Theta*. Theta* has unique properties, which we analyze in detail. We show...

Fullerene
 Referenced in 7 articles
[sw15046]
 calculate a number of physical and chemical properties. The program creates symmetric planar drawings ... Endo–Kroto, Yoshida–Fowler, and Brinkmann–Fowler vertex insertions. The program is written in standard...

DibaP
 Referenced in 14 articles
[sw08343]
 requires the division of a graph’s vertex set into kk equally sized subsets ... considerable acceleration, while retaining the positive properties of the slower algorithm. Experiments with popular benchmark...

Kaskade
 Referenced in 2 articles
[sw32518]
 often substantially more structured than a generic vertexandedge model would suggest, but this ... this work, we focus on leveraging structural properties of graphs and queries to automatically derive...

RAG
 Referenced in 1 article
[sw21205]
 motifs are filed according to their graph vertex number (RNA length) and ranked by topological ... motifs, assists identification of structural and functional properties of usersupplied RNA sequences, and helps...

FOS/C
 Referenced in 3 articles
[sw06840]
 with good partition shapes and other favorable properties. In this paper we prove that ... random walks, we prove that in vertextransitive graphs both parts must be connected components...

LqsgwFlapw
 Referenced in 1 article
[sw28331]
 apply our approach to study the electronic properties of selected semiconductors, insulators, and simple metals ... many body diagrammatic resummations such as the vertexcorrected GW approach and the GW+DMFT...

GraphCombEx
 Referenced in 0 articles
[sw32090]
 Software Tool for Exploration of Combinatorial Optimisation Properties of Large Graphs. We present a prototype ... clique, graph colouring, maximum independent set, minimum vertex clique covering, minimum dominating set, as well...

Apron
 Referenced in 67 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

CGAL
 Referenced in 354 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 621 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1783 articles
[sw00161]
 Coq is a formal proof management system. It...