Skip to main content
Rubi Shnol's user avatar
Rubi Shnol's user avatar
Rubi Shnol's user avatar
Rubi Shnol
  • Member for 10 years, 8 months
  • Last seen this week
  • Israel
16 votes
1 answer
2k views

Axioms of Choice in constructive mathematics

12 votes
5 answers
3k views

Difference between constructive Dedekind and Cauchy reals in computation

8 votes
2 answers
404 views

Matrix diagonalization and eigenvector computation constructively

8 votes
2 answers
499 views

Constructing a function over a metric space through given points

7 votes
1 answer
526 views

Current status of computable spectral theorem and interpretation of quantum mechanics

5 votes
2 answers
435 views

Sets in constructive mathematics

4 votes
1 answer
201 views

Partitions of unity in constructive mathematics

3 votes
0 answers
219 views

Optimization with parametric constraints: solution maps

3 votes
2 answers
1k views

Properties of matrix exponential without using Jordan normal forms

1 vote
3 answers
245 views

Practical pseudorandom generators