- 博客(6)
- 资源 (8)
- 收藏
- 关注
原创 ubuntu 安装 python-matplotlib遇到的问题
工作中,需要在ubuntu下测试c++代码, 想找一个简单的数据可视化工具。想到python上经常使用的matplotlib。根据github上的安装命令进行安装。大部分说是 更新一下 源 列表什么的, 就是:sudo apt-get -y update。但是对这个没有效果。发现在这个包在python3 下的名字为python3-matplotlib。根据这个名称进行安装得以顺利进行。搜索了一下 matplotlib。
2023-07-20 10:23:09 624
原创 Anaconda几个必要的命令
1、创建虚拟环境conda create --name <evn_name> <pakages_name> <python = version number >2、在指定的目录下创建虚拟环境conda create --prefix=D:\environment\Python python=3.8 只需要修改D:\environment\Python对应的路径部分即可3、激活/切换环境windows...
2022-03-22 23:10:32 1967
原创 Z3求解器简介及环境搭建
0、引言Z3 是微软研究领域最先进的定理证明器。它可以用来检查逻辑公式在一个或多个理论上的可满足性。Z3为软件分析及验证工具提供了一个引人注目的匹配, 因为几个常见的软件构造直接映射到支持的理论中1、Z3的基本架构:在深入研究Z3的体系结构细节之前,让我们看一下Z3的体系结构,以了解它是如何执行的。Z3集成了一个SAT求解器、一个核心理论求解器(同余闭合核)、4个辅助求解计算器以及一个...
2019-08-20 22:28:34 7140 5
转载 C++ operator两种用法
本文来自 百度文库 C++中的operator,有两种用法,一种是operator overloading(操作符重载),一种是operator casting(操作隐式转换)。下面分别进行介绍: 1.operator overloadingC++可能通过operator 重载操作符,格式如下:类型T operator 操作符 (),如比重载+,如下所示template
2013-06-21 14:46:32 1209
转载 C/C++产生随机数 .
C/C++怎样产生随机数:这里要用到的是rand()函数, srand()函数,C语言/C++里没有自带的random(int number)函数。(1) 如果你只要产生随机数而不需要设定范围的话,你只要用rand()就可以了:rand()会返回一随机数值, 范围在0至RAND_MAX 间。RAND_MAX定义在stdlib.h, 其值为2147483647。例如:#includ
2013-06-20 09:56:26 666
转载 谈谈计算数学-
谈谈计算数学 从计算数学的字面来看,应该与计算机有密切的联系,也强调了实践对于计算数学的重要性。也许Parlett教授的一段话能最好地说明这个问题:How couldsomeone as brilliant as von Neumann think hard about a subject asmundane as triangular factoriz-ation o
2012-08-14 13:26:07 3962
Fundamentals+of+Predictive+Text+Mining
2012-12-19
spss判别分析案例详解.pdf
2012-11-30
十五个经典算法研究与总结
2012-11-30
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人