机译:解决涉及符号计算的数学练习
Department of Computer Engineering at the Universidad Autonoma de Madrid;
机译:象征性的舞蹈:运动,符号和数学之间的相互作用对方程的求解
机译:数学物理中某些非线性发展方程的符号计算和精确解
机译:用符号计算向化学专业学生教授数学
机译:SMT解决方案中的符号计算技术:数学之美与高效的启发式技术
机译:用于解决数学和工程学中大型表达式问题的符号计算技术。
机译:解决问题和计算能力:它们在数学认知方面是共有的还是不同的?
机译:象征性的舞蹈:运动,符号表达和数学之间的相互作用,通往解方程式的旅程
机译:符号数学计算的数学建模 - 宇宙学应用