dReal is an SMT solver for nonlinear theories over the reals. Note that there are multiple versions - I am currently using both dreal3 and dreal4.
Working examples from the primer and tutorial.
Working through Structure and Interpretation of Computer Programs by Abelson, Sussman and Sussman.
Working through examples from Programming in Standard ML using Standard ML of New Jersey. I found this YouTube series from Reykjavik University particularly helpful. I am also working through the assigments from the University of Washington CSE341: Programming Languages course taught by Professor Dan Grossman here.