bio  website  math.rice.edu/~andyp 

location  Houston, TX  
age  35  
visits  member for  5 years, 10 months 
seen  46 mins ago  
stats  profile views  14,514 
associate professor at Rice University
2d

awarded  Enlightened 
2d

awarded  Nice Answer 
Aug
23 
comment 
Which mathematics journal can I submit an article which is short?
@PiyushGrover: It is not appropriate to use MO to ask for comments on one's papers, so this would be a bad idea. 
Aug
21 
comment 
Which mathematics journal can I submit an article which is short?
It's really impossible to give suggestions like this in the abstract without knowing a lot more about your paper. You need to push your advisor to give you suggestions. That's their job. 
Aug
20 
awarded  Nice Answer 
Aug
19 
answered  Transitive actions of $Aut(F_2)$ on surjections from $F_2\twoheadrightarrow G$ 
Aug
19 
answered  can $H^*(\mathbb{C}P^n;\mathbb{Z})$ be the cohomology of some EilenbergMaclane space $K(\pi,1)$? 
Jul
22 
comment 
Analytic Number Theory without Pigeonhole Principle
I think your impression that analytic number theory is heavily based around combinatorial ideas is incorrect. While I am far from an expert in the subject, my impression is that most work in the subject uses serious analytic tools that are not really combinatorial, e.g. Fourier analysis as in the circle method and complex analysis. 
Jul
21 
awarded  Good Question 
Jul
14 
awarded  Guru 
Jul
9 
answered  Exotic C^k manifolds 
Jul
8 
answered  Wellordered reference 
Jul
6 
comment 
What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?
of the argument is. I've gotten annoyed at papers plenty of times for giving too many routine details. But proof assistants can't fill in the missing parts by themselves. You have to spend way too much time on the boring stuff. That's why I for instance am not interested in spending time trying to formalize my proofs. 
Jul
6 
comment 
What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?
I think that the words "implicit knowledge" might be misleading. It's not that there are folklore theorems that people are using. Rather, there are lots of routine arguments that people have seen over and over again during their education. When you write a paper, you don't spell these out, but just give the major steps. Experts can easily see what is going on. Students suffer a bit; this is why graduate students often spend days on single pages of papers. I should say that this is true even for good writing. If you give too many details, it can be hard to sort out where the "meat" 
Jul
6 
comment 
Which journals publish research announcements?
The bulletin of the London math society publishes short papers, but not research announcements. 
Jul
6 
comment 
Which journals publish research announcements?
that were being (slowly) refereed elsewhere, but that function has basically been taken over by the internet/arXiv. I should add also that in my experience mathematicians do not take research announcements very seriously when evaluating people for hiring/promotion/etc. 
Jul
6 
comment 
Which journals publish research announcements?
OK, I misunderstood you. I thought you meant that the short paper was published instead of the long version, which remained as a permanent preprint. What I wonder now is how the process you describe actually speeds things up. Carefully refereeing a long paper is the thing that takes real time, and there is no way to speed it up. The time between acceptance and publication might be sped up, but in my experience mathematicians do not distinguish between papers that are accepted and papers that have appeared. In a previous era, research announcements were used to claim credit for results 
Jul
5 
comment 
Which journals publish research announcements?
I think you are mistaken about the french system: all the french mathematicians I know publish complete proofs of their theorems. It is vital for the scientific record that the proofs of theorems are carefully refereed and that they are published. Sometimes it takes a long time, but there is no shortcut. 
Jul
5 
comment 
Which journals publish research announcements?
@SergeiAkbarov: Though I am aware of journals that publish research announcements (with the expectation that the complete paper will be published elsewhere; this is what Comptes Rendus does, for instance), I have never heard of a western journal that published papers without proofs like you describe. And research announcements are much less common now with the internet. What's the purpose in publishing them? 
Jul
5 
comment 
Which journals publish research announcements?
Proc AMS does not publish research announcements. 