根据搜索结果，中科创达公司为机器人提供的服务确实包括算法服务。以下是几个关键点：
1. **智能机器人解决方案**：中科创达提供的智能机器人解决方案基于不同算力的核心模组（SOM），配套操作系统、开发工具包和服务，适用于工业、服务、消费产品等领域的机器人产品需求。这些解决方案配合相关的算法、通信模组、垂直行业方案，为智能机器人制作厂商提供快速、成本可控、体验优异的创新方案。
2. **ModelFarm AI算法开发平台**：中科创达的ModelFarm是一个涵盖了数据工程、模型训练、模型验证、模型部署等算法开发全流程的人工智能算法开发平台，可为客户快速构建高品质算法模型、实现AI赋能提供平台支撑。
3. **边缘计算和AI算法**：中科创达在智能终端和IOT领域有长期的技术积累，提供包含边缘智能站TurboX Edge Box，AI开发环境Model Farm和算法，物联网管理平台IoT Harbor，IoT云接入平台在内的边缘计算产品矩阵。
4. **机器人产品覆盖**：中科创达的机器人产品覆盖了当下几乎全部的机器人场景以及全球众多机器人厂商。公司与机器人领域的合作伙伴携手，共同定义下一代机器人解决方案。
5. **合资公司提供算法服务**：中科创达与地平线成立的合资公司将围绕地平线车规级AI芯片为主机厂及一级供应商等企业提供高质量的智能驾驶软件平台和算法服务。
综上所述，中科创达公司不仅提供机器人软件服务，还提供包括算法服务在内的全面技术支持和解决方案。因此，可以认为中科创达公司为机器人提供的软件服务中确实包含了算法服务。