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

location | Institut Rudjer Boskovic | |

age | 41 | |

visits | member for | 4 years, 8 months |

seen | Mar 12 at 9:31 | |

stats | profile views | 243 |

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 | 146 rep | 16 | |

Stack Overflow | 54 rep | 3 | |

TeX - LaTeX | 6 rep | 2 | |

Server Fault | 1 rep | 1 | |

Mathematics | 1 rep | 1 |

This user has no active bounties

# 1 Vote Cast

all time | by type | ||||
---|---|---|---|---|---|

1 | up | 1 | question | ||

0 | down | 0 | answer |