海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 ||Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2015
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 ||Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2016
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 || Simplification of Cylindrical Algebraic FormulasGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2015
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 || Algorithmic Computation of Polynomial AmoebasGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2016
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 || Incompleteness, Undecidability and Automated ProofsGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2016
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 || Improved Computation of Involutive BasesGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2016
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 || Symbolic Computation and Finite Element MethodsGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2015
[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 || Janet Bases and Resolutions in CoCoALibGerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. · 2015