@article{
	ref1,
	author  = "A. Edalat and M. Krznari\'c and A. Lieutier",
    title   = "Domain-theoretic solution of differential equations (scalar fields)",
    note    = "In \textit{Proceedings of MFPS XIX}, volume 83 of \textit{Electronic Notes in Theoretical Computer Science}, 2003. \url{www.entcs.org/files/mfps19/mfps19.html}, full paper in \url{www.doc.ic.ac.uk/~ae/papers/scalar.ps}"
}

@article{
	ref2,
	author  = "A. Edalat and A. Lieutier and D. Pattison",
    title   = "A Computational Model for Multi-Variable Differential Calculus",
    journal = "Information and Computation",
 	year    = "2013",
 	volume  = "224",
 	pages   = "23--45"
}

@article{
	ref3,
	author  = "C. K. Yap and T. Dub\'e",
	title   = "The exact computation paradigm",
	journal = "D.-Z. Du, F.K. Hwang (Eds.), Computing in Euclidean Geometry, World Scientific Press",
	year    = "1995",
	pages   = "452-–486"
}

@article{
	ref4,
	author  = "C. K. Yap",
	title   = "Towards exact geometric computation",
	journal = "Computational Geometry: Theory and Applications",
	year    = "1997",
	volume  = "7(1-2)",
	pages   = "3--23",
}

@INPROCEEDINGS{
	ref5,
    author = {Abbas Edalat and Reinhold Heckmann},
    title = {Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry},
    booktitle = {PROC APPSEM SUMMER SCHOOL IN PORTUGAL},
    year = {2002},
    pages = {193--267},
    publisher = {Springer Verlag}
}

@book{
	ref6,
	author  = "James. K. Strayer",
	title   = "Linear Programming and Its Applications",
	publisher = "Springer Science+Business Media New York",
	year    = "1989"
}

@book{
	ref7,
	author  = "L. R. Foulds",
	title   = "Optimization Techniques",
	publisher = "Springer Verlag New York",
	year    = "1981"
}

@misc{
	ref8,
	title = {{CVXOPT} ({P}ython {S}oftware for {C}onvex {O}ptimization)},
	url = {http://cvxopt.org},
	note = {Accessed: 2016-01-20}
}

@misc{
	ref9,
	title = {{GLPK} ({GNU} {L}inear {P}rogramming {K}it)},
	url = {https://www.gnu.org/software/glpk/},
	note = {Accessed: 2016-01-20}
}

@misc{
	ref10,
  	author = {Abbas Edalat},
  	title = {Domain Theory and Fractals},
 	year = 1999,
  	url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.1725&rep=rep1&type=pdf},
  	note = {Accessed: 2015-11-4}
}

@misc{
	ref11,
	author  = "Samson Abramski and Achim Jung",
	title   = "Domain Theory",
	url     = {http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf},
	note = {Accessed: 2015-10-28}
}
