-
Why are under-constrained systems not that bad
International audience -
Lipschitz functions on topometric spaces
We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology,... -
A completion simulator for the two-sided truncated normal distribution
International audience -
Congruence Closure modulo Associativity-Commutativity
Colloque avec actes et comité de lecture. internationale. -
Abstract Saturation-based Inference
Colloque avec actes et comité de lecture. internationale.
