Jacques Carette

6,199 reputation

21745

bio	website	cas.mcmaster.ca/~carette
	location	Waterloo, Ontario, Canada
	age	46
visits	member for	4 years
	seen	Mar 7 at 13:16
stats	profile views	3,203

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.

	6,199 reputation	bio	website	cas.mcmaster.ca/~carette	visits	member for	4 years
21745 badges		location	Waterloo, Ontario, Canada		seen	Mar 7 at 13:16

summary answers questions tags badges favorites bounties reputation activity

109 Answers

votes activity newest

33	When does iterating z -> z^2 + c have an exact solution?
28	Computer Algebra Errors
21	Euler's divergent series sum n!*(-1)^n: what is known about the resulting constant?
17	Most harmful heuristic?
15	Is there any math foundation for map/reduce?

6,199 Reputation

+10	Topological conditions forcing continuity
+10	What is the time complexity of computing sin(x) to t bits of precision?
+70	Euler's divergent series sum n!*(-1)^n: what is known about the resulting constant?
+10	Is there a dynamical system such that every orbit is either periodic or dense?

40 Questions

votes activity newest

22	Set theories without “junk” theorems?
15	Favourite scholarly books?
14	Extensional theorems mostly used intensionally
13	Banach and Knaster-Tarski fixed point theorems — are they related?
12	What is the theory of polynomials?

113 Tags

62 ca.analysis-and-odes × 22	33 lo.logic × 18
49 reference-request × 6	32 computer-science × 7
44 special-functions × 10	31 galois-theory × 5
40 ds.dynamical-systems × 3	29 polynomials × 10
34 co.combinatorics × 10	29 hypergeometric-functions × 5