- 博客(0)
- 资源 (14)
- 收藏
- 关注
vc可用的ntl静态库(需要mpir库, 已上传),指令集支持需要haswell的avx2+mulx
vc可用的ntl静态库(需要mpir库, 已上传),指令集支持需要haswell的avx2+mulx
2022-10-10
gnu mp 5.1.1静态编译的window下的库
gmp 5.1.1的windows下的静态连接库,包含文件等等,zip格式的,未改动任何代码的版本。详细使用方法参见内附readme.txt
2013-04-21
PARI/GP的Core i版本的手工编译版
自己用mingw gcc 4.6.2编译的PARI/GP数学软件,使用gmp 5.0.4包,不带readline,需Core i处理器。
详细编译过程参见:
http://bbs.emath.ac.cn/thread-4274-1-1.html
2012-05-01
IP助手函数的delphi单元文件,源代码
网上下载的,已经修改好,可用于Delphi 2010
包含两个文件,一个iphlpapi.pas,用来包装
iphlpapi的windwos sdk接口,一个iphelper.pas
有很多有用的辅助函数
2009-10-31
The.Haskell.Programmers.Guide.to.the.IO.Monad
The.Haskell.Programmers.Guide.to.the.IO.Monad
2008-10-10
为什么函数式编程至关重要(中文版)
随着软件变得越来越复杂,良好的软件结构也越来越重要。结构良好的软件易于编写,易于调试,同时提供可复用模块以降低未来开发的成本。常见的语言在对问题进行模块化方面具有理念上的局限性,而函数式语言超越了这些局限。在本文中我们将特别展示函数式语言的两大特性——高阶函数与惰性求值,它们能够极大地促进模块化。作为例证,我们运用列表和树编写了一些数值算法,并实现了alpha-beta启发式搜索(一个人工智能算法,用于游戏系统中)。由于模块化是成功程序设计的关键,所以函数式语言对现实世界而言便极其重要了
2008-10-10
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人