Jacques Carette
|
Registered User
|
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.
|
| 39 |
Questions |
7
22
votes
7
answers
2k
views
20
15
votes
19
answers
3k
views
6
14
votes
6
answers
1k
views
8
13
votes
3
answers
984
views
3
11
votes
3
answers
2k
views
2
10
votes
1
answer
359
views
3
9
votes
2
answers
510
views
8
9
votes
5
answers
2k
views
2
8
votes
6
answers
973
views
2
7
votes
0
answers
768
views
|
2197
|
Votes |
2181 |
16 |
|
123
|
Tags |
|
ca.analysis-and-odes× 21 lo.logic× 16 ct.category-theory× 16 co.combinatorics× 10 soft-question× 9 tag-removed× 8 special-functions× 8 polynomials× 8 big-list× 8 universal-algebra× 7 |
integration× 7 computer-science× 7 reference-request× 6 algorithms× 6 ag.algebraic-geometry× 6 type-theory× 5 hypergeometric-functions× 5 computer-algebra× 5 calculus× 5 ac.commutative-algebra× 5 |
nt.number-theory× 4 na.numerical-analysis× 4 math-philosophy× 4 ho.history-overview× 4 gamma-function× 4 galois-theory× 4 fractals× 4 computational-complexity× 4 sequences× 3 ra.rings-and-algebras× 3 |
pr.probability× 3 model-theory× 3 ds.dynamical-systems× 3 dimension-theory× 3 cv.complex-variables× 3 asymptotics× 3 trigonometry× 2 terminology× 2 st.statistics× 2 species× 2 |
set-theory× 2 sequences-and-series× 2 proof-assistant× 2 measure-theory× 2 mathematical-software× 2 intuition× 2 integral-transforms× 2 functional-equations× 2 fa.functional-analysis× 2 divergent-series× 2 |
|
50
|
Badges |
