%0 Journal Article %1 journals/cacm/Monroe23c %A Monroe, Don %D 2023 %J Commun. ACM %K dblp %N 8 %P 12-14 %T Computer-Assisted Proofs Take on Fluid Flow. %U http://dblp.uni-trier.de/db/journals/cacm/cacm66.html#Monroe23c %V 66

@article{journals/cacm/Monroe23c, added-at = {2023-08-16T00:00:00.000+0200}, author = {Monroe, Don}, biburl = {https://www.bibsonomy.org/bibtex/2d190f9566cc7ec16e00dec9c0a3575d7/dblp}, ee = {https://doi.org/10.1145/3603745}, interhash = {9153d13f38a4abd078ab9a8cf13c1b0d}, intrahash = {d190f9566cc7ec16e00dec9c0a3575d7}, journal = {Commun. ACM}, keywords = {dblp}, month = {August}, number = 8, pages = {12-14}, timestamp = {2024-04-09T02:13:15.000+0200}, title = {Computer-Assisted Proofs Take on Fluid Flow.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm66.html#Monroe23c}, volume = 66, year = 2023 }