[Lecture Notes in Computer Science] Entertainment Computing and Serious Games Volume 9970 || Serious Games Architectures and Engines
- 作者Dörner, Ralf; Göbel, Stefan; Kickmeier-Rust, Michael; Masuch, Maic; Zweig, Katharina
- 文件大小1611.26KB
- 发表时间2016
- DOI10.1007/978-3-319-46152-6_7
- 页码148-173
[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