• SDPpack

  • Referenced in 51 articles [sw04333]
  • computing provably good approximations to NP-hard graph problems in polynomial time. Semidefinite programs ... best solved by interior-point methods, the class of methods introduced by Karmarkar ... package SDPpack was announced, it implemented a state-of-the-art interior-point method...
  • Hornlog

  • Referenced in 6 articles [sw21362]
  • presented for logic- programming interpreters based on graph rewriting and on a linear-time algorithm ... class of logic programs that is a proper extension of the class that consists ... still strictly included in the class of first-order formulas. In particular, negative Horn clauses ... allowed. It is possible in this class to state some forms of negation without resort...
  • Spin-to-Grape

  • Referenced in 6 articles [sw07515]
  • Spin-to-Grape, which allows the state-graph of a Promela model to be manipulated ... group-theoretic package Gap and its graph-theoretic add on, Grape. Through studying these examples ... system. We then identify some general classes of systems and describe the symmetry groups...
  • geng

  • Referenced in 2 articles [sw26976]
  • report the current state of the graph isomorphism problem from the practical point of view ... outperforms the competitors for many difficult graph classes. Detailed comparisons against saucy, Bliss and conauto...
  • AutoGL

  • Referenced in 1 article [sw38082]
  • propose an automated machine learning pipeline for graph data containing four modules: auto feature engineering ... provide numerous state-of-the-art methods and flexible base classes and APIs, which allow...
  • Crocodile

  • Referenced in 2 articles [sw09769]
  • symmetries to provide a compact quotient state space representation (similarly to the construction proposed ... proof of concept for experimenting the quotient graph techniques together with hierarchical set decision diagrams ... experimentation of modeling techniques with this new class of Petri nets...
  • egg

  • Referenced in 1 article [sw37955]
  • state-of-the-art, rewrite-driven compiler optimizations and program synthesizers. However, e-graphs remain ... characteristics and often require ad-hoc e-graph extensions to incorporate transformations beyond purely syntactic ... work contributes two techniques that make e-graphs fast and extensible, specializing them to equality ... called e-class analyses integrates domain-specific analyses into the e-graph, reducing the need...
  • OPFython

  • Referenced in 1 article [sw32478]
  • graph-inspired classifier, known as the Optimum-Path Forest, has proven to be a state ... OPFython, where all of its functions and classes are based upon the original C language...
  • foxPSL

  • Referenced in 2 articles [sw13725]
  • Soft Logic (PSL) based on the distributed graph processing framework {sc Signal/Collect ... Language that extends standard PSL with a class system and existential quantifiers, allowing for efficient ... performance of {it foxPSL} to a state-of-the-art implementation of ADMM consensus optimization...
  • PyCG

  • Referenced in 1 article [sw37995]
  • relations between program identifiers of functions, variables, classes, and modules through an inter-procedural analysis ... assignment relations, we produce the resulting call graph by resolving all calls to potentially invoked ... average). Further, it outperforms the state-of-the-art for Python in both precision...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CoCoA

  • Referenced in 634 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 125 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Expokit

  • Referenced in 180 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • FGb

  • Referenced in 244 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 134 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 272 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 617 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...