• SA-cluster

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

• Inc-cluster

• 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 per-element, per-vertex, 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/1-Polytopes 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 cross-country sequences of vertex, edge, and face elimination steps. Specifically ... some of the model’s transport properties with respect to gridded fields such as bottom...

• Bubble-FOS/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 vertex-transitive graphs both parts must be connected components...

• Theta*

• Referenced in 7 articles [sw31693]
• achieves a better worst-case 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 vertex-and-edge 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 user-supplied 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 vertex-transitive 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 vertex-corrected 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...