
SDPpack
 Referenced in 51 articles
[sw04333]
 computing provably good approximations to NPhard graph problems in polynomial time. Semidefinite programs ... best solved by interiorpoint methods, the class of methods introduced by Karmarkar ... package SDPpack was announced, it implemented a stateoftheart interiorpoint method...

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

SpintoGrape
 Referenced in 6 articles
[sw07515]
 SpintoGrape, which allows the stategraph of a Promela model to be manipulated ... grouptheoretic package Gap and its graphtheoretic 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 stateoftheart 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]
 stateoftheart, rewritedriven compiler optimizations and program synthesizers. However, egraphs remain ... characteristics and often require adhoc egraph extensions to incorporate transformations beyond purely syntactic ... work contributes two techniques that make egraphs fast and extensible, specializing them to equality ... called eclass analyses integrates domainspecific analyses into the egraph, reducing the need...

OPFython
 Referenced in 1 article
[sw32478]
 graphinspired classifier, known as the OptimumPath 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 stateoftheart implementation of ADMM consensus optimization...

PyCG
 Referenced in 1 article
[sw37995]
 relations between program identifiers of functions, variables, classes, and modules through an interprocedural analysis ... assignment relations, we produce the resulting call graph by resolving all calls to potentially invoked ... average). Further, it outperforms the stateoftheart 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...

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