Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with reference-request
Search options not deleted
user 4692
This tag is used if a reference is needed in a paper or textbook on a specific result.
15
votes
4
answers
1k
views
Reference request for type theory
I am interested in learning the theory of types, especially in how they can provide a foundation to mathematics different to sets and how they can avoid self-referential paradoxes by stipulating that …
- 9,720
10
votes
4
answers
2k
views
Reference request for conceptual numerical analysis
I am interested in clean algorithms for approximating solutions and so I am interested in numerical analysis, but most of the books I have seen get bogged down in error analysis or they spend a lot of …
- 1,171
3
votes
4
answers
3k
views
Reference request for category theory works which quickly prove the theorem which generalise...
One aspect of category theory that caught my eye is that it can give simultaneously prove the 1st isomorphism theorem for groups/rings/fields/vector spaces/... Yet whenever I look up works on category …
- 331
9
votes
1
answer
2k
views
Reference request for a proof of Ramanujan's tau conjecture
In the Wikipedia article it states that Ramanujan's tau conjecture was shown to be a consequence of Riemann's hypothesis for varieties over finite fields by the efforts of
Michio Kuga, Mikio Sato, Gor …
CommunityBot
- 1