Browsing: symbolic computations