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 gm.general-mathematics
Search options answers only
not deleted
user 10366
Questions about mathematics which don't fall into the other arXiv categories. If you have a general question about mathematics but it is not research level, it's off-topic but it might be welcomed on Mathematics Stack Exchange.
20
votes
Changes forced by the pandemic
Automated assessment
In Sheffield we have increased our use of online automated assessment. We used to use a home-grown system, but have now switched to STACK with some home-grown extensions. Variou …
46
votes
Accepted
How much mathematics has been formally verified?
A couple of years ago I made a database of all the formalization files that I could find at that point, in several different systems. You can view it here:
http://bim.shef.ac.uk/formal/list_formaliz …
- 56.9k