====== Reproducibility exercise ====== The goal of this exercise is to prepare the subsequent discussions by highlighting issues with software in papers. For this we have to use real examples by real authors. Please keep in mind that MaRDI is just getting started and the issue of reproducibility and code contributions is still relatively new in the pure math world. All of the authors worked hard on their papers with the best intents. ===== Some questions ===== In general we want to leave it to you to come up with the questions you have to the paper in order to reproduce the experiment. However, in case you get stuck right at the beginning, here are some pointers: * What software was used (for the general case)? Which version? How can you figure out the version if it is not stated in the paper? Can you install this version of the software? * Was any data processed / produced? Is the data FAIR? * Do you think that understanding the math of a paper is a precondition to reproducing the computational results? * What do you think was good? What was bad? ===== The examples ===== === polymake === * Schwartz, Alexander; Ziegler, Günter M. **[[https://zbmath.org/?q=an%3A1110.52015|Construction techniques for cubical complexes, odd cubical 4-polytopes, and prescribed dual manifolds.]]** * El Maazouz, Yassine; Hahn, Marvin Anas; Nebe, Gabriele; Stanojkovski, Mima; Sturmfels, Bernd **[[https://zbmath.org/?q=an%3A7581814|Orders and polytropes: matrix algebras from valuations.]]** * Pfetsch, Marc E.; Rinaldi, Giovanni; Ventura, Paolo **[[https://zbmath.org/?q=an%3A1484.90047|Optimal patchings for consecutive ones matrices.]]** === Julia === * Gribling, Sander; Laurent, Monique; Steenkamp, Andries **[[https://zbmath.org/?q=an%3A1490.81031|Bounding the separable rank via polynomial optimization.]]** * Maes, Christian; Meerts, Kasper; Struyve, Ward **[[https://zbmath.org/?q=an%3A7529591|Diffraction and interference with run-and-tumble particles.]]** * Agrawal, Sudhanshu; Lee, Wonjun; Fung, Samy Wu; Nurbekyan, Levon **[[https://zbmath.org/?q=an%3A7525128|Random features for high-dimensional nonlocal mean-field games.]]** === Other ==== * Huggins, Peter **[[https://zbmath.org/?q=an%3A1230.90130|iB4e: a software framework for parametrizing specialized LP problems.]]** * https://github.com/AMS-MRC-disc-math-bio/pmfe/tree/5e2c84a6c5531b34f49e6d7896629a1e86e9533e/iB4e * Get **[[https://www.math.uni-bielefeld.de/~sek/crep.html|CREP]]** running === Some other math pages worth to take a look at === * [[http://www.geom.uiuc.edu/]] * [[http://www.eg-models.de/]] try "No Applet"; then click on folder symbols * [[https://www.discretization.de/gallery/]] * [[https://www.cecm.sfu.ca/interfaces/index.shtml]] * [[https://www.imaginary.org/]]