[Biosystems & Biorobotics] Soft Robotics: Trends, Applications and Challenges Volume 17 || Morphosis—Taking Morphological Computation to the Next Level
- 作者Laschi, Cecilia; Rossiter, Jonathan; Iida, Fumiya; Cianchetti, Matteo; Margheri, Laura
- 文件大小801.04KB
- 发表时间2017
- DOI10.1007/978-3-319-46460-2_15
- 页码117-122
[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