Login / Signup
A quadratic identity in the shuffle algebra and an alternative proof for de Bruijn's formula.
Laura Colmenarejo
Joscha Diehl
Miruna-Stefana Sorea
Published in:
Eur. J. Comb. (2022)
Keyphrases
</>
objective function
computational complexity
graph structure
theorem prover
object identity
pairwise
complex objects
data sets
neural network
data model
object oriented databases
relational algebra
real numbers
natural deduction