Botoeva E., Petrov E. Correct visualization of solution spaces in the UniCalc system // Computer Science. — 2007. — # 26 — P. 65-73
Botoeva E., Kostov Y., Petrov E. A reliable linear constraint solver for the UniCalc system // Computer Science. — 2006. — # 24 — P. 45-55
