V. L. Rvachev called R-functions “logically-charged functions” because they encode complete logical information within the standard setting of real analysis. He invented them in the 1960s as a means for unifying logic, geometry, and analysis within a common computational framework – in an effort to develop a new computationally effective language for modeling and solving boundary value problems. Over the last forty years, R-functions have been accepted as a valuable tool in computer graphics… CONTINUE READING