问题标签 [real-number]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
python - 在 Python 中绘制复值函数的实部
我正在尝试绘制以下函数...
对于k = [-2, 2]，但我能做的最好的就是......
对于复杂的结果，它的绘图很好，k = [-2, 1/4)但没有。我可以通过其他方式做到这一点吗？
coq - Coq 中的实数
在https://www.cs.umd.edu/~rrand/vqc/Real.html#lab1可以阅读：
Coq 的标准库对实数采用了一种非常不同的方法：公理方法。
并且可以找到以下公理：
图书馆没有提到，但在为什么 Coq 中的实数公理化？可以找到相同的描述：
我想知道 Coq 是否将实数定义为 Cauchy 序列或 Dedekind 切割，所以我检查了 Coq.Reals.Raxioms 和......这两个都没有。实数及其运算（作为参数和公理）被公理化。为什么会这样？
此外，实数紧密依赖于子集的概念，因为它们的定义属性之一是每个上界子集都有一个最小上界。Axiom 完整性将这些子集编码为 Props。”
尽管如此，每当我查看https://coq.inria.fr/library/Coq.Reals.Raxioms.html时，我都看不到任何公理化方法，特别是我们有以下引理：
我在哪里可以找到 Coq 中实数的这种公理化方法？
qregularexpression - 所有 C 实数集合的正则表达式
需要接受以下所有模式：0、+0、-0、任何整数、任何以 + 或 - 符号开头的整数。
.3, 3.14, +3.14159, -3.14159, 0.123, -0.123, .123, +.123
12e+2、7e-4、6.3e2、6.3e+2、6.3e-2、-6.3e+2
我对如何制作方程式有点困惑。