document.write("« Implicative algebras: a new foundation for realizability and forcing. (arXiv:1802.00528v1 [math.LO])");document.write(" | ");document.write("Increased accuracy of planning tools for optimization of dynamic multileaf collimator delivery of radiotherapy through reformulated objective functions. (arXiv:1802.00619v1 [math.OC]) »");