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 12978
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.
10
votes
How to be updated with current advances in mathematics
One thing I would add to unknown's answer is RSS feeds. All the electronic resources mentioned: blogs, arxiv, journals, mathoverflow---they all have RSS feeds. Instead of compulsively looking at blo …
13
votes
Pressure to defend the relevance of one's area of mathematics
It's not just math, I've seen similar stuff in the software and data science industry. Functional programming, test coverage, Bayesian statistics, and deep learning are just a few areas I've encounte …
1
vote
Webpages for specialized communities
As far as logic goes, there is the Association of Symbolic Logic website. It has a very comprehensive list of logic meetings, which includes the ASL meetings, the officially sponsored meetings, and m …
6
votes
The unpublished papers in reference to the published papers
As the reader, you can also ask mathoverflow for help finding the paper. There have been some very interesting MO questions along this line. In particular, this record helps others to also track dow …
6
votes
Accepted
Recent trends in effective analysis
(At François's request, my comment in now an answer.)
Yes, it is still an active research area. It however is spread out throughout a number of camps (traditions): The Weihrauch camp, the reverse mat …
- 6,287
6
votes
Does formalizing math require search and creativity, or is it near-mechanical?
Like Henry, I am not an expert---although I've played around with formal proof assistants.
First, one has to take into account if the background material is already formalized. This can make a big …
92
votes
11
answers
14k
views
What are possible applications of deep learning to research mathematics?
With no doubt everyone here has heard of deep learning, even if they don't know what it is or what it is good for. I myself am a former mathematician turned data scientist who is quite interested in …