Xiang Huang
Publications
Teaching
Talks
AI for Mathematics
CV
DNA 28 Talk
DNA28 Homepage
Talk file
.
Paper:
Computing Real Numbers with Large-Population Protocols Having a Continuum of Equilibria
Simulation:
Multiplication with ppsim.
Bournez et. al.’s algebraic Construction
Balancing Dilation and lambda-trick