[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9301 || Simplification of Cylindrical Algebraic Formulas
- 作者Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V.
- 文件大小273.44KB
- 发表时间2015
- DOI10.1007/978-3-319-24021-3_9
- 页码119-134
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9287 ||Dixon, Clare; Tuyls, Karl · 2015
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9287 || Inertia Properties of a Prosthetic Knee MechanismDixon, Clare; Tuyls, Karl · 2015
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9287 || Applying Energy Autonomous Robots for Dike InspectionDixon, Clare; Tuyls, Karl · 2015
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9287 || Towards Intelligent Lower Limb Prostheses with Activity RecognitionDixon, Clare; Tuyls, Karl · 2015
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9287 || Hybrid Insect-Inspired Multi-Robot Coverage in Complex EnvironmentsDixon, Clare; Tuyls, Karl · 2015
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9287 || Development and Characterisation of a Multi-material 3D Printed Torsion SpringDixon, Clare; Tuyls, Karl · 2015
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9287 || Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear ProgrammingDixon, Clare; Tuyls, Karl · 2015
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9287 || Design of a Continuously Varying Electro-Permanent Magnet Adhesion Mechanism for Climbing RobotsDixon, Clare; Tuyls, Karl · 2015