@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,
	title = "Linear and Nonlinear Programming",
	author = "David G. Luenberger and Yinyu Ye",
	publisher = "Springer Verlag",
	edition = 3
	year = 2008
}

@book{
	clarke,
	author = "F. H. Clarke",
	title = "Optimization and Nonsmooth Analysis",
	publisher = "Wiley",
	year = "1983"
}	

@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{
	numpy,
	title = {NumPy},
	url = {http://www.numpy.org},
	note = {Accessed: 2016-05-08}
}

@misc{
	sympy,
	title = {SymPy},
	url = {http://www.sympy.org/en/index.html},
	note = {Accessed: 2016-05-08}
}

@misc{
	matplotlib,
	title = {Matplotlib},
	url = {http://matplotlib.org},
	note = {Accessed: 2016-05-08}
}

@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}
}

@misc{
	delaunay,
	title = {Delaunay Triangulation},
	url = {http://uk.mathworks.com/help/matlab/math/delaunay-triangulation.html},
	note = {Accessed: 2016-05-12}
}

@INPROCEEDINGS{
	ref12,
	title={A continuous derivative for real-valued functions},
	author= "Abbas Edalat",
	booktitle={S. B. Cooper, B. L ̈\"{o}we, and A. Sorbi, editors, \textit{New Computational Paradigms, Changing Conceptions of What is Computable}},
	pages={493--519},
	year={2008},
	publisher={Springer}
}
	
@INPROCEEDINGS{boundarytesting, 
author={T. Murnane and K. Reed and R. Hall}, 
booktitle={Software Engineering Conference, 2007. ASWEC 2007. 18th Australian}, 
title={On the Learnability of Two Representations of Equivalence Partitioning and Boundary Value Analysis}, 
year={2007}, 
pages={274-283}, 
keywords={computer science education;program testing;teaching;La Trobe University;atomic rules;black-box testing;boundary value analysis;equivalence partitioning;teaching;Australia;Computer science;Education;Equal opportunities;Software engineering;Software testing;System testing;Usability}, 
doi={10.1109/ASWEC.2007.35}, 
ISSN={1530-0803}, 
month={April},}

@misc{
	abbas,
	author = {Abbas Edalat},
	title = {Decidability of consistency for a triangle and convex quadrilateral},
	note = {Unpublished note}
}