Algoritmos cuánticos para el denumerante de Sylvester y el problema de membresía del semigrupo numérico | Synapse