User Andrej Bauer

426 votes

16 answers

64k views

Why do roots of polynomials tend to have absolute value close to 1?

asked Oct 2, 2014 at 20:54

46 votes

7 answers

7k views

What is an explicit bijection in combinatorics?

asked Feb 21, 2019 at 21:44

23 votes

5 answers

9k views

Algorithms for finding rational points on an elliptic curve?

asked Oct 13, 2010 at 13:50

22 votes

6 answers

3k views

Where in ordinary math do we need unbounded separation and replacement?

asked Feb 10, 2013 at 17:06

20 votes

1 answer

1k views

Is the one-point compactification of $\mathbb{N}$ computably countable?

asked Aug 27, 2021 at 11:02

14 votes

3 answers

5k views

How to calculate the Feigenbaum constant to high precision?

asked Nov 26, 2010 at 12:17

11 votes

3 answers

651 views

Existence of solutions of a polynomial system

asked Aug 1, 2014 at 9:41

8 votes

3 answers

1k views

Is there a "primitive-recursively enumerable" set whose complement is not such?

asked Apr 12, 2010 at 11:11

8 votes

1 answer

557 views

Why is the cardinality of the codomain of a ring epimorphism at most the cardinality of the domain?

asked Nov 1, 2011 at 20:21

6 votes

2 answers

565 views

Why is the path fibration a strong Hurewicz fibration?

asked Jul 6, 2013 at 7:32

6 votes

2 answers

812 views

How to compute the normals to Costa's minimal surface?

asked Dec 13, 2013 at 12:06

6 votes

1 answer

1k views

A generalization of covering spaces to fiber bundles with totally path-disconnected fibers

asked May 9, 2014 at 20:41

4 votes

1 answer

154 views

Existence of an inseparable minimal pair

asked May 4, 2022 at 14:08

3 votes

1 answer

284 views

What to call substructures in universal algebra in which we restrict the signature?

asked May 3, 2012 at 22:15

3 votes

1 answer

331 views

Are limits and colimits in the category of etale maps computed fiber-wise?

asked Apr 28, 2011 at 9:47

3 votes

2 answers

807 views

Is the decomposition of an algebra into irreducible components essentially unique?

asked Nov 11, 2010 at 8:59

2 votes

1 answer

197 views

Affine embedding of the two-point lattice into a semiring-like structure

asked May 29, 2017 at 14:45

Stack Exchange Network

17 Questions

Why do roots of polynomials tend to have absolute value close to 1?

What is an explicit bijection in combinatorics?

Algorithms for finding rational points on an elliptic curve?

Where in ordinary math do we need unbounded separation and replacement?

Is the one-point compactification of $\mathbb{N}$ computably countable?

How to calculate the Feigenbaum constant to high precision?

Existence of solutions of a polynomial system

Is there a "primitive-recursively enumerable" set whose complement is not such?

Why is the cardinality of the codomain of a ring epimorphism at most the cardinality of the domain?

Why is the path fibration a strong Hurewicz fibration?

How to compute the normals to Costa's minimal surface?

A generalization of covering spaces to fiber bundles with totally path-disconnected fibers

Existence of an inseparable minimal pair

What to call substructures in universal algebra in which we restrict the signature?

Are limits and colimits in the category of etale maps computed fiber-wise?

Is the decomposition of an algebra into irreducible components essentially unique?

Affine embedding of the two-point lattice into a semiring-like structure