3 ms·

This paper seems to be missing some related work, for instance Carles Simó. Greg Minton created a computer-assisted proof system for showing that there must ex

by kmill 9y ago

This paper seems to be missing some related work, for instance Carles Simó. Greg Minton created a computer-assisted proof system for showing that there must exist a choreography with parameters within a certain distance of some given approximate parameters. This isn't just a matter of more floating point precision; it certifies that there is a critical point for action of the right kind. http://gminton.org/#gravity http://gminton.org/#gravity and http://gminton.org/#cap http://gminton.org/#cap Greg Minton also has a bunch of proved choreographies at http://gminton.org/#choreo http://gminton.org/#choreo

theoh 9y ago
Simó work was presented beautifully here, in Java: http://www.ams.org/samplings/feature-column/fcarc-orbits1 http://www.ams.org/samplings/feature-column/fcarc-orbits1
- Asooka 9y ago
  Note: that only works in Internet Explorer (not Edge, of course), since all other browsers have disabled support for NPAPI plugins, including Java. I guess it shouldn't be too hard to implement a JVM in JavaScript that's good enough to run simple applets like this, but sadly nobody is doing it.
  - theoh 9y ago
    Yes, I guess you can, alternatively, still download a JRE with an "appletviewer" app.
    - Asooka 9y ago
      How can you run an embedded applet in an external viewer? Also, how is that more secure than just running it in the browser?
      - theoh 9y ago
        https://en.wikipedia.org/wiki/AppletViewer https://en.wikipedia.org/wiki/AppletViewer "The applet viewer operates on HTML documents, but all it looks for is embedded applet tags; any other HTML code in the document is ignored. Each time the applet viewer encounters an applet tag in an HTML document, it launches a separate applet viewer window containing the respective applet." As far as security goes, I don't think appletviewer claims to be more secure that the browser. It has a similar security policy/sandbox.

by kmill 9y ago

theoh 9y ago

Simó work was presented beautifully here, in Java: http://www.ams.org/samplings/feature-column/fcarc-orbits1 http://www.ams.org/samplings/feature-column/fcarc-orbits1

Asooka 9y ago
Note: that only works in Internet Explorer (not Edge, of course), since all other browsers have disabled support for NPAPI plugins, including Java. I guess it shouldn't be too hard to implement a JVM in JavaScript that's good enough to run simple applets like this, but sadly nobody is doing it.
- theoh 9y ago
  Yes, I guess you can, alternatively, still download a JRE with an "appletviewer" app.
  - Asooka 9y ago
    How can you run an embedded applet in an external viewer? Also, how is that more secure than just running it in the browser?
    - theoh 9y ago
      https://en.wikipedia.org/wiki/AppletViewer https://en.wikipedia.org/wiki/AppletViewer "The applet viewer operates on HTML documents, but all it looks for is embedded applet tags; any other HTML code in the document is ignored. Each time the applet viewer encounters an applet tag in an HTML document, it launches a separate applet viewer window containing the respective applet." As far as security goes, I don't think appletviewer claims to be more secure that the browser. It has a similar security policy/sandbox.