Skip to main content
Proof Assistants Beta
Jacques Carette's user avatar
Jacques Carette's user avatar
Jacques Carette's user avatar
Jacques Carette
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
429
reputation
1k
reached
4
answers
1
question
Communities
View all
About
Trained as a pure mathematicians (complex dynamics, under the supervision of Adrien Douady and John H. Hubbard), but am really a computer scientist now. Worked for 11 years at Maplesoft (makers of Maple), was head for the Math Group for some years. Now doing research in "mechanized mathematics", which aims to join symbolic computation and theorem proving into a single system.
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
11
Score
1
Posts
20
Posts %
11
Score
1
Posts
20
Posts %
11
Score
1
Posts
20
Posts %
11
Score
1
Posts
20
Posts %
6
Score
1
Posts
20
Posts %
6
Score
1
Posts
20
Posts %
Top posts
11
How hard is computing integrals in Lean?
Feb 16, 2022
6
What provers are using quote, quotations or quasiquotations?
Mar 16, 2022
6
What proof assistants can reason about the complexity of its *own* programs?
Mar 2, 2023
5
Counting in two ways
Jun 15, 2022
3
What proof assistants can reason about the complexity of its *own* programs?
Mar 3, 2023
Top network posts
View all network posts
109
Set theories without "junk" theorems?
52
Computer algebra errors
38
Most harmful heuristic?
38
When does iterating $z \mapsto z^2 + c$ have an exact solution?
34
Choosing between a class and a record