As an example of SRC work in computational geometry, John Hershberger, with Subhash Suri of Bellcore, developed a new algorithm for finding shortest paths in the plane that avoid polygonal obstacles. In computer-aided geometric design, Lyle Ramshaw has been working for some years on blossoming , a new approach to spline theory based on polar forms. Lately, he has come up with what he hopes is a still better approach, based on multiplying points to produce sites . A quadratic site is a linear combination of products of two points, just as a quadratic form is a linear combination of products of two coordinate functionals. The sites of all degrees over a given space form an algebra that is dual to the well-known algebra of forms on that space.
Formal systems are a key technique for mastering complexity in computer science.
A formal system combines some notation, some rules for manipulating that notation, and some sense of what the resulting strings of symbols mean. Programming languages are an obvious example of formal systems. SRC theoreticians enjoy studying the issues involved in typed, polymorphic, and object-oriented programming languages. The subtlety of the issues involved in security and authentication make that area a prime target for formal systems as well. The full calculus is very expressive and hence intractable.