
PALP
 Referenced in 70 articles
[sw00672]
 applications to toric geometry and string theory, like the computation of Hodge data and fibration...

STRINGVACUA
 Referenced in 42 articles
[sw00920]
 which can be used both in string theory and in more general applications requiring fast...

Spheno
 Referenced in 62 articles
[sw09544]
 anomaly mediated supersymmetry breaking, or string effective field theories. An interface exists for an easy...

Z3str3
 Referenced in 9 articles
[sw30519]
 Z3str3: a string solver with theoryaware heuristics. Z3str3 ... constraint solver for the quantifierfree theory of string equations, the regularexpression membership predicates...

SUPERCALC
 Referenced in 6 articles
[sw00928]
 infinite sums, computation of anomalies in string theory. Solution method: Using the algebraic properties...

Z3str2
 Referenced in 3 articles
[sw30520]
 expressions, and length constraints. In recent years, string solvers have become an essential component ... tools. Such solvers typically support a theory of string equations, the length function ... directional integration between the string and integer theories, enabling new crossdomain heuristics ... dubbed Z3str2, for the quantifierfree theory of string equations, the regularexpression membership predicate...

pAQFT
 Referenced in 7 articles
[sw11711]
 class of theories with local symmetries, including general relativity and the bosonic string. We also ... compare different approaches to quantization of gauge theories in the pAQFT framework...

Presburger Automata
 Referenced in 9 articles
[sw28603]
 library for automata on bit strings in the theorem prover Isabelle/HOL. It forms the basis ... wellknown connection between logic and automata theory...

Homfly
 Referenced in 2 articles
[sw14573]
 Liverpool University Knot Theory Group Programs and Procedures: br9z.p. This is the original Homfly program ... will deal with up to 9string braids, and you can alter the number...

BraidedJunctions
 Referenced in 1 article
[sw23622]
 developed to carry out basic computations for string junctions and torus knots/links. It contains functions ... focus is on computing group theory related information for string junction vectors and how they...

OreMorphisms
 Referenced in 12 articles
[sw11235]
 decompose a differential timedelay system (a string with an interior mass [15]) formed ... partial differential equations coming from control theory and mathematical physics...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 automata analysis to work modulo rich alphabet theories. It uses the power of state ... finite symbolic automata and transducers over strings. It also handles transducers with registers. Constraint solving ... also obtained by internalizing automata as theories. The toolkit, freely available from Microsoft Research...

XSSR
 Referenced in 3 articles
[sw02306]
 Here we present the eXperimental System for String Rewriting, XSSR, which is a special purpose ... algebra system for combinatorial group and semigroup theory. It is intended for effectively performing computations ... techniques, adopted to the special situation of string rewriting systems at hand...

TRACER
 Referenced in 10 articles
[sw07361]
 manipulations as well as trace operations on strings of γalgebra objects. In addition ... higher order corrections in Relativistic Quantum Field Theories. A short comparison of procedural versus rule...

DisCoPy
 Referenced in 1 article
[sw40949]
 library provides an intuitive syntax for defining string diagrams and monoidal functors. Its modularity allows ... experiments in the various applications of category theory where diagrams have become a lingua franca...

Fuzzy sets for Ada
 Referenced in 1 article
[sw05537]
 intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floatingpoint with ... linguistic variables with operations on them. Stringoriented I/O is supported. A rich...

Bex
 Referenced in 1 article
[sw37816]
 transformations with regular lookahead and rollback. Implementing string transformation routines, such as encoders, decoders ... approach allows correctness analysis using symbolic automata theory that is not possible at the level...

pyxDamerauLevenshtein
 Referenced in 0 articles
[sw39315]
 high performance. Courtesy Wikipedia: In information theory and computer science, the DamerauLevenshtein distance (named ... Vladimir I. Levenshtein) is a “distance” (string metric) between two strings, i.e., finite sequence...

OntoPlant
 Referenced in 0 articles
[sw19011]
 LSTree. LSTree is based on the theory of Lsystems, which is faithful ... efficiency and flexibility as a process of string rewriting. VisForest is a software platform...

JavaSMT
 Referenced in 1 article
[sw18525]
 Solvers in Java. Satisfiability Modulo Theory (SMT) solvers received a lot of attention ... solver have to be serialized to strings. Yet using the API directly creates the problem...