Positivity certificates for linear recurrences.

Alaa Ibrahim Bruno Salvy

Published in: CoRR (2023)

Keyphrases

access control
feature extraction
linear systems
linear complexity
knowledge base
mobile robot
public key
simple linear
optimal linear