Affine arithmetic and its applications
My name is Ali Baharev; I received my MSc (2006) and PhD (2009) in chemical engineering from Budapest University of Technology and Economics. I am a Sun Certified Java Programmer (2010) and I am certified in Oracle SQL (2010).
As a hobby, I develop the ASOL -- Affine Solver in C++. The solver finds all solutions to systems of nonlinear equations. Characteristic components of its branch-and-prune algorithm are affine arithmetic as a linearization technique, contracting methods involving constraint propagation on directed acyclic graphs (DAG) and linear programming. The solver has an interface to the AMPL modeling environment.
My most recent results
Although ASOL is still just a proof-of-concept implementation, it finds even those solutions that are missed by commercial solvers. It is discussed in my most recent manuscript entitled Computing multiple steady states in homogeneous azeotropic and ideal two-product distillation. Further implementation details are given in "Computation of an extractive distillation column with affine arithmetic" (DOI).
Do NOT let the above titles scare you away, the parts presenting the algorithm are human readable.
The primary purpose of this site is to make my preprints and source codes of my projects publicly available and to share some links that I found helpful.
The site is under construction.
