搜狐

用 MoonBit 构建现代符号计算内核：Symbit 的设计与实现

本文介绍一个以 MoonBit 实现的符号计算内核 Symbit，目标是通过AI辅助，在保留 sympy 风格符号表达与精确计算能力的同时，将大部分算法移植到 MoonBit，利用 native 与 WebAssembly 后端提升执行效率并降低用户访问门槛，理想情况下用户只需要用浏览器即可访问此计算 ...
电子工程专辑

带通滤波器传递函数

简 介： 本文通过LTspice示例电路研究了矩形带通滤波器的传递函数特性。作者使用Sympy符号推导工具，对50欧姆匹配的六阶无源滤波器网络进行理论分析，通过逐级计算节点阻抗和分压比，推导出10阶系统传递函数。通过Python计算200-300MHz频段的幅频特性，并与 ...
澎湃新闻

全网惊了！陶哲轩带AI下场，33分钟“盲证”数学

【新智元导读】菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。 数学大神陶哲轩携手ChatGPT，打造了开源项目——数学概念验证工具，专攻任意 ...
搜狐

Python在参数化建模中的应用

参数化建模是一种基于参数的建模方法，通过改变参数值来生成不同的模型形态。这种方法在工程设计、建筑学、计算机图形学等领域广泛应用，可以显著提高设计的灵活性和效率。Python作为一种功能强大的编程语言，因其简洁的语法和丰富的库，成为参数化 ...
雷锋网

盘点四大民间机器学习开源框架：Theano、Caffe、Torch 和 SciKit-learn

在上期的谷歌、微软、OpenAI 等巨头的七大机器学习开源项目 看这篇就够了，我们盘点了 TensorFlow，CNTK，SystemML，DeepMind Lab 等各大互联网巨头的开源平台。本期，雷锋网将带领大家来看看诞生于民间（学界）的另外四大开源项目： Theano 在深度学习框架中是祖师级 ...