bio | website | mathieudutour.altervista.org |
---|---|---|

location | Institut Rudjer Boskovic | |

age | 40 | |

visits | member for | 3 years, 11 months |

seen | Jul 16 at 8:21 | |

stats | profile views | 161 |

I am a mathematician interested in applications of computers to prove mathematical theorems. This work has led to enumeration results in graph theory, combinatorics and lattice theory.

MathOverflow | 106 rep | 4 | |

Stack Overflow | 31 rep | 1 | |

TeX - LaTeX | 6 rep | 1 |

This user has no active bounties

# 0 Votes Cast

This user has not cast any votes