MO editors' lounge

« first day (2994 days earlier) ← previous day next day → last day (916 days later) »

Martin Sleziak

8:53 AM

SEDE now returns 481 posts with front.math.ucdavis.edu.

The search for url:"*front.math.ucdavis.edu*" now returns 478 posts.

On October 11 there were 520 posts: chat.stackexchange.com/transcript/10243/2021/10/11

The posts where such links was edited away: data.stackexchange.com/mathoverflow/query/1070272/…

Users who often removed such link: data.stackexchange.com/mathoverflow/query/1468213/…

And number of removals per month: data.stackexchange.com/mathoverflow/query/1468214/…

1 hour later…

Martin Sleziak

10:01 AM

dead-link I have replaced a dead link to How to believe a machine-checked proof simply by a Wayback Machine link. mathoverflow.net/posts/67839/revisions But maybe there are some better choices: scholar.google.com/scholar?cluster=13315095041431691868 scholar.google.com/…

A: How true are theorems proved by Coq?

Here are some publications related to your question: Robert Pollack. How to believe a machine-checked proof. In G. Sambin and J. Smith, editors, Twenty Five Years of Constructive Type Theory. Oxford Univ. Press, 1998. (Wayback Machine) Pollack-inconsistency, Freek Wiedijk Freek demonstrates the m...

@theHigherGeometer Since it is answer to your question, maybe you'll have some input what to choose there. I see various links.

There is DOI: 10.1093/oso/9780198501275.003.0013 - which seems to be behind paywall. There is semanticscholar.org, brics.dk, Citeseer - they are free, however I am not sure to which extent they can be considered stable/permanent.

This seems to be the only post with a link to that domain.

I see that Robert Pollack now has a different homepage, but I do not see this paper listed there: math.bu.edu/people/rpollack

Even Google search for the new domain doesn't return anything: google.com/search?q=pollack+believe+machine+site:math.bu.edu

1 hour later…

Martin Sleziak

11:25 AM

@theHigherGeometer I have also noticed your edit on this post: mathoverflow.net/posts/118089/revisions You wrote "fixed arxiv front-end link" in the edit summary, but this link is still present in the post: front.math.ucdavis.edu/9803.5150

My best guess is that it should be arxiv.org/abs/math/9803150 (Michael Kapovich, John J. Millson: Universality theorems for configuration spaces of planar linkages).

A: How to draw Archimedean-Galileo spiral?

This is not a complete solution, but a suggestion on what you can try. First, note that the "planimeter" will "compute" for you integrals $$ F(x)=\int ydx, $$ where $y=f(x)$ is the given curve. This "computation" is in the form of a numerical output measured by a rotating wheel, but, using Paucel...

> Anupam Saxena, Kempe's Linkages and the Universality Theorem, Resonance – Journal of Science Education 16 Issue 3 (2011) pp 220-237. The deficiencies were fixed here.