procedurecall

4 ms·

1.
Endomorphisms of Affine Spaces and the Jacobian Problem [AI Statement.](arxiv.org)
3 points by procedurecall 28d ago|1 comments
2.
by procedurecall 28d ago
Short explanation from Proofs and Prompts [1]: A new preprint of Alexander Borisov, Ofer Gabber, and Adrian Vasiu has been making the rounds, amongst other things for the AI statement of the third author (on page 160 (!) ). In it, they rai
3.
Navier-Stokes – Tristan Buckmaster [pdf](cims.nyu.edu)
2050 points by procedurecall 1mo ago|829 comments
4.
by procedurecall 4y ago
Anyone here ever try using this for only place and route, while sticking to the proprietary tools for synthesis and bitstream generation? I'm honestly not even sure how you'd start (generate xdc and edif in vivado, convert to more
5.
by procedurecall 4y ago
I work mostly on computational geometry and graph algorithms, and some related things (although I certainly don't have a very long list of publications). Ipe is written entirely by one person (Otfried Cheong), who works on a lot of com
6.
by procedurecall 4y ago
With all the discussion here about alternative programs to make vector graphics for mathematical figures, I'm a little surprised no one has mentioned Ipe ( https://ipe.otfried.org/ ), given it's far and away the mos
7.
by procedurecall 5y ago
In my limited experience trying both on a couple CTF problems this last year (although having used Z3 a plenty for years before that), they're not even in the same ballpark. CVC5 is ridiculously good. I do recall that for real number t
8.
by procedurecall 5y ago
Is the beta testers community invite-only? Also, if the system you've built is really usable for trading, is it not more profitable to simply use it internally and trade your own capital? Have you tried to do that?
9.
by procedurecall 5y ago
You may be interested in Mahaney's Theorem ( https://en.m.wikipedia.org/wiki/Mahaney%27s_theorem ), which 'answers' a special case of this: If by vanishingly small you mean polynomial size, and you also as