1回答
仅为数学证明助理
、、、、
大多数验证助手都是带有依赖类型的函数式编程语言。他们可以证明程序/算法。相反，我感兴趣的是最适合数学的证明助手(例如微积分)。你能推荐一个吗？我听说过Mizar，但我不喜欢源代码已经关闭，但如果它对数学最好，我将使用它。像Agda和Idris这样的新语言对数学证明有多好？
浏览 3提问于2015-02-16得票数 7
回答已采纳
3回答
任何人都知道任何好的数学函数会对CPU造成很大的负载。我想创建一个简单的程序，只创建X数量的加载，而另一个程序监控它。我只是在寻找函数，而不是实际的压力测试程序。
浏览 6提问于2011-03-06得票数 6
回答已采纳
我想用来教数学和科普的专业吗？我也在寻找相应的理论支持。
编辑: Mersenne的源代码可以用各种语言提供，比如C (random.py)或伪代码(维基百科)，但我在random.py中找不到。
浏览 7提问于2010-03-18得票数 4
在Visual Studio2010中，有没有办法通过语法突出显示来打印C#源代码？
PS:作业是解决一个数学问题，所以语言的选择并不重要，老师也不需要编译和运行程序。她只是想看看我们的方法和结果。
浏览 0提问于2009-11-10得票数 2
回答已采纳
它与C#和F#在标识符中接受许多Unicode IsLetter并不是正交的。
<
浏览 6提问于2009-07-21得票数 13
3回答
辛积分器的帮助
、、、、
问题是我一定是把数学搞错了，因为我的模拟在使用辛积分器时根本不工作(与四阶Runge-Kutta积分器相比，它在模拟中工作得相当好)。我已经在谷歌上搜索了很久，我能找到的都是关于这个主题的科学文章。我想知道是否有人有利用辛积分器进行模拟的源代码，最好是用来模拟引力场，但任何辛积分器都可以。源代码是什么语言并不太重要，但我会喜欢使用C风格语法的语言。谢谢!
浏览 6提问于2010-09-10得票数 12
回答已采纳
5回答
健壮随机数生成
、、
它可以使用数学方法(Mersenne Twister等)，它可以从机器中“收集熵”，无论什么。在Linux/etc上，我们有一个生成48个随机位的drand48()。我想要一个类似的函数/类，用于C++或C#，它可以产生超过32位的随机性，并且低阶位和高阶位的随机性是一样的。它不一定是加密安全的，但它不能使用或基于C语言rand()或.NET System.Random。
任何源代码，链接到源代码等将不胜感激！如果失败，我应该寻找哪种类型的RNG？
浏览 2提问于2008-08-03得票数 42
回答已采纳
对于一个主要基于数学的程序，我正在讨论是使用C++还是Python。
这两种语言都有很好的数学库，但对于复杂的数学，哪种语言通常更快？
浏览 2提问于2012-07-24得票数 2
回答已采纳
1回答
我想计算由数学椭圆描述的两条曲线圆弧的交点。椭圆基于拟合点，并使用：如何计算eclipse各部分的交集？将在Matlab语言和C++中实现。hold on 源代码可以在这里找到
浏览 19提问于2016-08-12得票数 0
我对C语言比较陌生(在高中)，在我写的任何数学程序中都会出现一个问题。我会有一些小数字，当它们被遍历时，结果是一些巨大的数字。我从网站和书籍上复制了程序，同样的问题也发生了。下面是一个示例的源代码： int c, k = c + 273; scanf("%d",&<
浏览 1提问于2014-04-09得票数 0
我目前正在学习数学，并想出一个想法，这取决于它是否可能。这在HTML中是可能的还是我需要其他语言？我将在本地运行，所以在源代码中隐藏答案并不重要。
浏览 1提问于2017-03-14得票数 2
回答已采纳
1回答
我在一个项目中工作，该项目遵循DO-178C level C，计划使用C编程语言。关于C语言中的库，出现了很多问题。谢谢
浏览 1提问于2013-07-04得票数 0
我试图更好地理解如何在编程中使用离散数学概念(例如集合论)。
我熟悉高中数学，对离散数学中使用的术语和概念有基本的理解。我了解Haskell、Lisp、Ruby、Perl等语言，以及所有基于C的语言。
浏览 1提问于2011-05-16得票数 17
如果是这样，为什么我们还要费心用它要解释的语言来编写解释器呢？如果没有，我该如何运行这个解释器？
2我也不是很清楚编译器是用它要编译的语言实现的。解释器和编译器有相同的原因吗？
浏览 1提问于2017-06-17得票数 0
我正在编写一种基于与通常使用的数学模型不同的数学模型的语言。如果我使用C，嗯，我不确定我能不能，因为与C相比，模型是如此的不同。但是如果我使用汇编代码，它就不能移植，不是吗？有没有一种通用的汇编语言可以抽象到我不知道的所有架构上？还是我错过了什么？我认为如果C是图灵完成的，那么我应该能够编译成它，如果我的语言是图灵完成的话…汇编语言比C语言更强大吗？如果我想要一种编译语言，编译成汇
浏览 0提问于2012-09-23得票数 4
1回答
我是python的新手，我想学习像abs()这样的python内置函数的实现，但在\__builtin__.py的python文件中我看到了以下内容：有人知道它是怎么工作的吗？
浏览 17提问于2016-08-22得票数 0
1回答
对于没有CS背景的人(我的专业是应用数学)，asm语言有一个陡峭的学习曲线吗？通常，一些熟悉高级编程语言如C/C++等的人需要多长时间才能编写一些基本的数学计算，如线性回归、一维正交多项式计算等等？顺便说一句，现代asm是否支持这样的特性：
通常在asm而不是C/C++中使用一些最新的优化编译器来提高性能吗？
浏览 5提问于2012-12-09得票数 0
3回答
在阅读许多源代码时，我发现的一件事是，在函数式编程中，执行顺序是没有定义的！我不太明白。似乎我理解了“执行顺序未定义”的概念是错误的。我哪里错了？
浏览 9提问于2015-07-14得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
