liblrs1t64

package to enumerate vertices and extreme rays (shared libraries)

A convex polyhedron is the set of points satisfying a finite family of linear inequalities. The study of the vertices and extreme rays of such systems is important and useful in e.g. mathematics and optimization. In a dual interpretation, finding the vertices of a (bounded) polyhedron is equivalent to finding the convex hull (bounding inequalities) of an (arbitrary dimensional) set of points. Lrs (lexicographic reverse search) has two important features that can be very important for certain applications: it works in exact arithmetic, and it consumes memory proportional to the input, no matter how large the output is.

libposixsignalmanager0a

posix signal handling for qt - shared library

Library safe, synchronous and asynchronous handling of posix signals for Qt applications and libraries.

libgnuradio-uhd3.10.4

gnuradio universal hardware driver functions

The gnuradio interface to the UHD library to connect to and send and receive data between to the Ettus Research, LLC product line - including the USRP family of software radio peripheral devices. Part of the main gnuradio build.

python3-prefixdate

Prefix date parser

This is a helper class to parse dates with varied degrees of precision. For example, a data source might state a date as `2001`, `2001-4` or `2001-04-02`, with the implication that only the year, month or day is known. This library will process such partial dates into a structured format and allow their validation and re-formatting (e.g. turning `2001-4` into `2001-04` above).

libgnuradio-wavelet3.10.4

gnuradio wavelet functions

Library of Daubechies wavelet function blocks. wvps computes the Wavelet Power Spectrum from a set of wavelet coefficients.

mathlibtools

supporting tool for Lean mathlib

mathlib-tools contains leanproject, a supporting tool for Lean mathlib. In conjunction with elan it allows a user to create, build, update and otherwise manage projects using the Lean 3 theorem prover and the mathlib library of mathematics and tactics.