arXiv:chao-dyn/9404003
The Limits of Mathematics (in C)
원문 초록
This is a shortened version of "The Limits of Mathematics--Course Outline & Software" (IBM Research Report RC 19324, December 1993) in which all Mathematica code has either been deleted or, if absolutely necessary, replaced by C code. The intention is to make this material available to a wider audience.
함께 살펴볼 논문
공통 태그를 근거로 연결했습니다. 실제 인용 관계나 논문의 우수성을 뜻하지 않습니다.
Program Semantic Inequivalence Game with Large Language Models
GPRat: Gaussian Process Regression with Asynchronous Tasks
EIQP: Execution-time-certified and Infeasibility-detecting QP Solver
C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineering
Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent Integration
SceneGenAgent: Precise Industrial Scene Generation with Coding Agent
토론
이 논문과 연결된 포럼 글이 아직 없습니다.