34 citations · 50 across the 19 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.CG2013
Local and Global Analysis of Parametric Solid Sweeps
Bharat Adsul, Jinesh Machchhar, Milind Sohoni
In this work, we propose a detailed computational framework for modelling the envelope of the swept volume, that is the boundary of the volume obtained by sweeping an input solid a…
cs.LO2013
Generalizations of the Los-Tarski Preservation Theorem
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
We present new preservation theorems that semantically characterize the and prefix classes of first order logic, for each natural number…