Deciding linear-transcendental problems,” in Computer Algebra in Scientific Computing: CASC 2000 (2000)

by V Weispfenning
Venue:Proceedings of the Third Workshop on Computer Algebra in Scientific Computing