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