补充材料：数学精品网址大全.doc

数学精品网址大全数理逻辑、数学基础：http:/www.disi.unige.it/aila/eindex.html意大利逻辑及其应用协会的主页，包括意大利数理逻辑领域的相关内容。/title.cgi?2110代数与逻辑，西伯利亚代数与逻辑期刊的翻译版，荷兰的Kluwer学术出版社提供其在线服务。/epigone/alt.math.undergradMsth Forum上的大学生和研究生数学论坛,提供档案文件、论题等信息。/dmjones/hbp/apal/纯逻辑与应用逻辑学年鉴，麻省理工大学计算理论小组主页提供其过刊的浏览，荷兰的Elservier出版社提供其电子刊的在线服务。http:/link.springer.de/link/service/journals/00153/index.htm数学逻辑档案，属于德国Springer出版公司在线电子期刊的一种。/nilog/f . _paradoxes_of_l.htm亚里士多德及其逻辑理论研究。 http:/www.cs.bham.ac.uk/exr/blc/不列颠逻辑研讨会的主页，包括数学逻辑的相关研究，如相关网站及电子期刊。/exec/obido .7001844浏览亚马逊网上专业和技术店中的数学畅销书，提供应用范畴，混沌与系统化；几何与拓扑；数学分析； 数学物理学；数字规律；纯数学；数学变换等领域，包括数理逻辑方面的畅销书的在线预览。 /asl/加利福尼亚大学洛杉矶分校数理逻辑协会的数理逻辑通讯。http:/www.torget.se/users/m/mauritz/math/瑞典的逻辑、数学和推理主页，提供抽象代数学、数字、矢量代数分析学，矢量场分析，逻辑形式系统等的定义和描述。 /mathnet/falseProofs/fallacies.html多伦多大学数学网主页，提供数学的各种论题。/complog/美国逻辑规划组织/cholak/computability/computability.html可计算性理论主页，提供数理逻辑协会主页的链接，主要内容包括可计算性理论领域的各类活跃人员及其研究领域等。/courses/cs022/布郎大学的离散数学主页，重点介绍离散数学：证据、逻辑、归纳、处理机的密码和网络系统：课程、家庭作业、资料http:/www.kingsu.ab.ca/glen/cshpm/home.htm加拿大社会关于数学的哲学和历史 /dmjones/hbp/jlogc/逻辑与计算杂志，麻省理工大学计算理论小组主页提供其过刊的浏览。/journals/jml/jml.html世界科学公司的数学逻辑期刊。/topics/logic.html数学主题 田纳西州立大学数学系数学档案主页的数学主题：逻辑学与集合论，包括各种相关的网上资源。http:/www.cs.technion.ac.il/admlogic/以色列逻辑主页，包括以色列多所大学的逻辑研究资源，也包括数学领域的逻辑研究。http:/www.uni-bonn.de/logic/world.html德国的世界数学逻辑主页，由波恩大学数学逻辑小组和维也纳大学逻辑研究所提供服务。http:/www.wiley-vch.de/berlin/journals/mlq/index.html德国的数学逻辑季刊，包括期刊目次、作者信息、编辑公告等内容。/rusin/known-math/index/03-XX.html北伊利诺伊大学数学科学系的数学逻辑及基金主页，提供相关的会议、参考资源、软件等信息。http:/www.ed.ac.uk/pmilne/ml/home.html现代逻辑，关于数学逻辑的历史、集合论和数学基础的国际期刊，提供在线的目次、文摘和作者索引等内容。http:/www.uni.torun.pl/StudiaLogica/逻辑研究，波兰科学院哲学与社会学研究所的国际数理逻辑期刊。计算数学,数值分析： /epigone/alt.math.undergrad数学论坛。一个关于大学本科数学问题和难题的论坛。数学论坛包括了读者可以发表文章参与讨论的文档，以及可以查看或检索文档化的信息。/pubs/monthly.html 美国数学月刊（MMA联机版）美国数学协会（MAA）Roger A.Horn，编辑。 本月刊刊登数学方面的论文，评论以及其它相关的文章。/software/uasft.html Arizona数学软件。超过60个教育程序的集合，可被教师和学生在课堂上、实验室和家庭环境中使用。/BNALib，一个运行于个人pc上的数值分析软件库。 以源代码形式提供的BNALib软件包，是一个子例程，函数和演示程序组成的工具箱，它可进行数值分析计算。/ccma/ 计算数学和应用中心-Penn州立大学数学系。 Penn州数值分析和应用数学的教学与科研工作中心之一。应用与计算数学研究班课程系列，PDEs与数值方法研究班课程系列，教职人员与研究生的情况等。/cdsns/ 动力系统和非线性研究中心Georgia Tech数学学院。 始建于1988年9月，以加强数学学院已经开展了的研究活动，研究重点包括动力系统，微分方程，非线性分析和应用。/CyberMath/ Waterloo Maple公司。你可以订购本软件来管理，共享和出版因特网上的数学资源。本软件可以提供交互式的媒体来探索和交换关于数学的思想，并且包括了高中，大学本科以及研究生层次的各种数学主题。/education/教育：数学-Mining公司。网络站点资源列表。:8000/mathjours.html数学科学电子期刊-Albany大学数学系。链接到数学学科的电子期刊，以及那些同时出版电子本和印刷本的期刊。/cgi-bin/getfiles.pl 数值分析学报电子版索引-Kent州立大学。 可供检索ENTA刊登的全部文章的索引。为检索论文，可向Glimpse检索引擎输入检索词。/ 数值分析学报电子版（ETNA）-Kent州立大学，Reichel，Varga，Eds.。 报道数值分析与科学计算领域最新动态和重大进展的电子期刊。http:/www.elsevier.nl/Elsevier 科学。作为面向全世界的信息提供商，Elsevier的目标是在一个适当利润的基础上，通过实现国际学术界的交流需要，来促进科学，技术以及医学的发展。/Eric Weissteind的数学世界-Eric W.Weisstein与Wolfram研究公司。 一个按字顺排列可检索全文的综合性数学百科全书，包括数学术语，方程和导数等，并附有注解，例子与参考文献等。http:/www.ingenieur.de/ernst/SOFTWARE.htmFEM-Strukturanalysen：有限元软件-von Ernst &Partner。 一个广泛的指向FEM软件资源的链接列表，分为如下目录：产品与生产者，免费软件与共享软件，其他软件列表与链接集合，图书，有限元论文等。/dna/fecircus.html有限元论坛-Penn州州立大学数学系，Douglas N. Arnold。一个有限元方法理论与应用的定期会议，还包括数值分析与偏微分方程等相关领域。rmatik.rwth . meshgeneration.html有限元网状生成Robert Schneiders。 Mesh generation是一个数值分析学科内的跨学科的领域，它包括数学家，计算机科学家以及来自诸多领域的工程师。本主页致力于促进理论与应用之间的关系。/zachary/isp/applets/FP/FP.html浮点数指南。可帮助你理解尾数值和指数域的意义，以及下溢，上溢和舍入错误的含义。括一个在单独的窗口中的Java 程序。/FoCM/计算数学基础。 FoCM的主要目标在于促进数学分析，拓扑，集合与计算过程之间深层关系的理解，它们随着现代计算机的发展而得到发展。/sherman/gallery/数学建模导引。已经出版的模型的标准版。 /products/global/ 全局优化。一个数学软件包，可提供一组解决非线性优化问题的工具，还有许多别的应用，如查找根或非解析函数的零。http:/www.elsevier.nl/homepage/saj/501439/Menu.shtml数值分析手册。 数值分析手册的背景信息，包括内容列表，图书评论，总序和数值分析时事通讯手册。/hiqHIQ 分析，可视化和报告生成-一个交互式的问题解决环境，可用来对现实世界的科学和工程问题进行分析、可视化、编写文档。/images.html图象和数学（数学文档）。 基于或相关于数学原理的图象的集合，许多纯数学抽象。/科学与工程计算机应用协会。 应用数学，数值分析，流体动力学和计算机科学的研究中心，由大学空间研究协会（USRA）运作，可为NASA的科学家和工程师的相互作用提供一种自然机制。/ NCSA/LCA-Potsdam-WashU 国际数值相对论组织。 超级计算应用国家中心，使用超级计算机来研究黑洞，引力波，以及别的由爱因斯坦的广义相对论预言的现象。/math/Brooks/Cole出版数学课程全部领域的教科书和技术产品，从算术，微积分学和微分方程到数值分析，包括先前被PWS出版的文本。.au:8000/MathSearch.html超过9万条位于数学和统计学服务器上的可检索的文档，主要为研究层次和大学本科级的文档。/代数，几何和微积分的软件和书籍。 /MathWorks公司。MathWorks是推出MATLAB的公司，这是一个高性能数值计算环境，一个交互式的建模、分析和模拟大量动态系统的环境。 /Science/Biblo.html 链接到大学本科级数学图书的书目。/Science/Journals.html 大学本科级数学电子期刊的字顺表。/Science/Software.html用于大学本科级数学教学的软件站点的链接。/Science/Specialized.html 链接到大学本科级数学特定领域资源的站点。http:/www.inria.fr/Equipes/MODULEF-eng.htmlModulef：科学计算方法与工具。 Modulef项目终结于1995年12月31日。这个项目的成员后来又开展了GAMMA项目以及MOSTRA预研项目。本主页包括此项目的重要事件报告（1995年，法文，并有英文文摘），成果报告等。/Netlib repository包括可以免费得到的数学和统计软件，文档以及数值，科学计算等方面的数据库。本知识库由bell实验室进行维护。/rusin/known-math/index/65-XX.html数值分析-Dave Rusin，数学文集。 本页为短篇论文的集合，用来提供一个对数值分析的介绍。/Science/num.html数值分析-Florida州立大学数学系。链接到一些新闻组（sci.math.num-analysis 和comp.soft-sys.matlab等）以及别的大学本科级数值分析资源。/advanced/numerical.html数值分析-数学论坛。 链接到一些最好的因特网数值分析资源：网络站点，软件，因特网项目，出版物和公共论坛。/na-digest/html/search_form.html数值分析文摘检索界面。 数学分析文摘集中了数值分析理论与应用方面的文章。所有的论文使用Glimpse标引过。需要在检索窗体中键入短语或词，并为查询选择适当的设置，即可进行检索。lab.ox.ac.uk/oucl/work/nick.trefethen/L N Trefethen教授，数值分析-牛津大学Balliol学院。链接到牛津大学数值分析研究团体出版的图书