1. Improved Price Oracles
2. Guillermo Angeris , Hsien-Tang Kao , Rei Chiang , Charlie Noyes , and Tarun Chitra . 2021. An Analysis of Uniswap Markets. Cryptoeconomic Systems 1, 1 ( 2021 ). https://doi.org/10.21428/58320208.c9738e64 10.21428/58320208.c9738e64 Guillermo Angeris, Hsien-Tang Kao, Rei Chiang, Charlie Noyes, and Tarun Chitra. 2021. An Analysis of Uniswap Markets. Cryptoeconomic Systems 1, 1 (2021). https://doi.org/10.21428/58320208.c9738e64
3. Anonymous . 1994 . The QED Manifesto . Proceedings of the 12th International Conference on Automated Deduction 814(1994) , 238–251. https://dl.acm.org/doi/10.5555/648231.752823 Anonymous. 1994. The QED Manifesto. Proceedings of the 12th International Conference on Automated Deduction 814(1994), 238–251. https://dl.acm.org/doi/10.5555/648231.752823
4. Every planar map is four colorable. Part I: Discharging
5. Sid Banerjee , Ashish Goel , and Anilesh Kollagunta Krishnaswamy . 2014 . Re-incentivizing discovery: mechanisms for partial-progress sharing in research . Proceedings of the fifteenth ACM conference on Economics and computation (2014), 149–166. https://doi.org/10.1145/2600057.2602888 10.1145/2600057.2602888 Sid Banerjee, Ashish Goel, and Anilesh Kollagunta Krishnaswamy. 2014. Re-incentivizing discovery: mechanisms for partial-progress sharing in research. Proceedings of the fifteenth ACM conference on Economics and computation (2014), 149–166. https://doi.org/10.1145/2600057.2602888