Sum of Squares Programming for Julia

Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming

Set Programming with JuMP

Port to Julia of the Gap3 package Chevie

A Julia modeling layer for the Generalized Moment Problem

Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures

Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomorphisms thereof!

An implementation of finitely-presented groups

Stability Tools for Threshold Vector Autoregressive Models

Enumerate models of finite limit sketches up to isomorphism

Groups, Permutations and Permutation groups

Permutation Groups following GroupsCore API

Computes the fundamental group of the complement of a curve in the 2-dimensional complex space

Signed permutations

-

Group presentations

Defining interface for permutations in julia