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 soft-question
Search options not deleted
user 23648
Questions that are about research in mathematics, or about the job of a research mathematician, without being mathematical problems or statements in the strictest sense. Do not use this tag for easy or supposedly easy mathematical questions.
9
votes
1
answer
838
views
Practical Benefits of HTT/univalent foundations for assisted proofs
I'm trying to understand what the claimed practical benefits of HTT/univalent foundations are for doing computer assisted proofs and while I've seen a lot of claims of benefits they all seem to be sp …
- 3,029
5
votes
Peer review 2.0
I'm 100% in agreement about the need for such a site. In fact I'm currently in the process of coding what I hope can grow into such a site.
The apps mentioned above like Papers$^\gamma$ are all nice …
2
votes
Digital pen for math: your experiences?
EDIT: After buying a neo smartpen and using it for 6 months or so I have a few more comments. First, the smartpen eventually broke like every other one I've ever owned so if you aren't super careful …
2
votes
How should the Math Subject Classification (MSC) be revised or improved?
First, we should ask what purpose MSC type codes serve. After all modern papers can be indexed in full text and, even if paywalls make full text search impractical one can do a full text search on ab …