• 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 theory-aware heuristics. Z3str3 ... constraint solver for the quantifier-free theory of string equations, the regular-expression 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 cross-domain heuristics ... dubbed Z3str2, for the quantifier-free theory of string equations, the regular-expression 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 ... well-known 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 9-string 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 floating-point with ... linguistic variables with operations on them. String-oriented 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 Damerau-Levenshtein 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 L-systems, 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...