39

Questions
votes newest views recent
20
15
votes
19
answers
3k
views

Favourite scholarly books?

oct 17 11 at 3:47 Tom Dickens 693●4●8

7
22
votes
7
answers
2k
views

Set theories without “junk” theorems?

mar 13 12 at 9:33 S. Carnahan♦ 25.6k●41●90

8
9
votes
5
answers
2k
views

“Oldest” bug in computer algebra system?

feb 12 at 7:30 J. H. S. 2,415●12●31

3
11
votes
3
answers
2k
views

What is the theory of polynomials?

aug 29 11 at 12:03 Emil Jeřábek 10.6k●1●24●41

2
6
votes
5
answers
1k
views

Direct construction of the integers

nov 9 11 at 22:33 David Milovich 681●3●10

6
14
votes
6
answers
1k
views

Extensional theorems mostly used intensionally

jun 29 10 at 7:41 Russell O'Connor 829●6●11

8
13
votes
3
answers
985
views

Banach and Knaster-Tarski fixed point theorems — are they related?

may 15 12 at 12:11 Michał Kukieła 687●5●13

2
8
votes
6
answers
973
views

Defining variable, symbol, indeterminate and parameter

oct 14 11 at 2:29 Jacques Carette 6,717●1●14●35

3
6
votes
0
answers
948
views

Why is mechanical differentiation so hard to get right?

jun 4 11 at 21:34 Andrey Rekalo 13.9k●1●32●68

2
4
votes
2
answers
944
views

Factoring and solving trinomials

jul 16 10 at 14:21 Jacques Carette 6,717●1●14●35

1 2 3 4 next