Convolution formulas for multivariate arithmetic Tutte polynomials.
Tianlong MaXian'an JinWeiling YangPublished in: Adv. Appl. Math. (2024)
Keyphrases
- quantifier free
- image processing
- arithmetic operations
- real numbers
- multivariate data
- floating point
- convolution kernel
- first order logic
- multivariate time series
- regression model
- rewrite systems
- mathematical formulas
- hermite transform
- quantifier elimination
- point processes
- linear filtering
- mesh connected
- integral equation
- data sets
- predicate calculus
- statistical tests