Verification methods for system of linear equations including irrational numbers
Author
Journal
The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology AsiaSim&JSST2014, Kitakyusyu-City