rootisolation.lib swMATH ID: 32931 Software Authors: Bendle, D., Böhm, J., Petroll, C. Description: rootisolation.lib. A Singular 4-1-0 library for exact real root isolation. Homepage: https://www.singular.uni-kl.de/Manual/latest/sing_2791.htm#SEC2867 Dependencies: Singular Related Software: rootsur.lib; solve.lib; classify2.lib; realclassify.lib; SINGULAR Cited in: 1 Document Cited by 3 Authors 1 Böhm, Janko 1 Marais, Magdaleen S. 1 Steenpaß, Andreas Cited in 1 Serial 1 Journal of Symbolic Computation Cited in 1 Field 1 Algebraic geometry (14-XX) Citations by Year