Polyrecur Tool

software

posted on 2025-02-08, 13:28 authored by Sergei NovozhilovSergei Novozhilov

A C++ tool based on SDP solvers for solving Generalized Polynomial Recurrence System (GPRS).

History

Usage metrics

Categories

Programming languages

Keywords

automatic complexity estimation

Licence

Exports