Comment by nl

5 days ago

Tsimerman's work is directly applicable in two fields of computer science: O-minimality can be used to simplify formal verification.

0 comments