1. Realpaver: Nonlinear constraint solving and rigorous global optimization (2014).
http://pagesperso.lina.univ-nantes.fr/info/perso/permanents/granvil/realpaver/
2. C++ eXtended Scientific Computing library (2015).
http://www.xsc.de
3. Intel TBB (2015).
http://www.threadingbuildingblocks.org
4. MICLAB project (2015).
http://miclab.pl
5. ADHC, C++ library (2017).
https://www.researchgate.net/publication/316610415_ADHC_Algorithmic_Differentiation_and_Hull_Consistency_Alfa-05