Vacuum system design using symbolic numeric processors [particle accelerator] | IEEE Conference Publication | IEEE Xplore