小木虫论坛-学术科研互动平台

版块导航: 正在加载中...

登录注册

显示全部

分类	共搜索到 151 个相关话题(最多显示前5000个)	作者	最后发表

数学	加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤... LeanCoilot，让Lean更好用而今天，LeanCopilot的这项研究，让Lean直接变得更强大了。在这篇论文中，团队基于...除了源码库和标准库中有大量前提，Lean还有一个大型数学库（Mathlib）。...	yexuqing	2024-04-23 07:51
材料综合	有没有什么好用的网站或者数据库可以查材料的力学性能求大佬帮助pls求求了比如抗拉强度抗压强度杨氏模量等等我需要SrF2的抗拉强度和抗压强度数据pls	why2018	2023-08-21 01:57
科研工具	12款数据处理+绘图工具，精华汇总二、简单绘图4.Excel：简单好上手推荐：没有编程基础也能熟练掌握，但专业性不强，不适合复杂的数据和图表。Excel有强大的数据处理和图表功能，根据数据自动生成对应的图表，而且自带配色还...	gui882152	2022-07-20 07:38
计算模拟	时域有限差分软件MEEP试用经历如果上述安装过程卡了说明在线数据库不稳定，可以换个时间试试。操作错了，可以用虚拟机的...pymeep，是meep的一个非常好用的版本，即MEEP作为Python语言的功能包，通过Python程序调用MEEP。...	GaiBaodong	2022-05-01 01:17
机械	探索Franka机器人\|ROS基础培训它也提供用于获娶编译、编写、和跨计算机运行代码所需的工具和库函数。ROS运行时的“蓝图”是一种...rqt则是非常好用的数据流可视化工具，有了它我们可以直观的看到消息的通信架构和流通路径；...	显扬科技	2022-03-18 06:49
电脑软件	【PPT插件】堪称神器的PPT插件，让你一分钟搞定别人半小时的工作... 数据理论图片等可以使用这些高质量的图示模板来展示。...很多时候需要自己去找配色，然后设置主题色，非常麻烦，打开iSlide的色彩库，里面有几千种配色，分行业分色系分类别，非常好用。...	ke118557	2020-07-03 03:05
考博	paper写作神器+pdf阅读神器+最强文件搜索神器+分峰类数据必杀器,... 软件对每一个错误给出了建议，还给出了建议的来源（依托于软件强大的数据库）。有了这个软件，你就不用整天寻思为啥我的word没有纠错功能，也不用在论文定稿后为难朋友们帮你查错了。...	yue29987	2020-06-08 07:13
硕博家园	paper写作神器+pdf阅读神器+最强文件搜索神器+分峰类数据必杀器软件对每一个错误给出了建议，还给出了建议的来源（依托于软件强大的数据库）。有了这个软件，你就不用整天寻思为啥我的word没有纠错功能，也不用在论文定稿后为难朋友们帮你查错了。...	meng21324	2020-06-02 06:22
硕博家园	paper写作神器+pdf阅读神器+最强文件搜索神器+分峰类数据必杀器软件对每一个错误给出了建议，还给出了建议的来源（依托于软件强大的数据库）。有了这个软件，你就不用整天寻思为啥我的word没有纠错功能，也不用在论文定稿后为难朋友们帮你查错了。...	huangyou1	2020-05-31 06:42
考研	paper写作神器+pdf阅读神器+最强文件搜索神器+分峰类数据必杀器软件对每一个错误给出了建议，还给出了建议的来源（依托于软件强大的数据库）。有了这个软件，你就不用整天寻思为啥我的word没有纠错功能，也不用在论文定稿后为难朋友们帮你查错了。...	huangyou1	2020-05-31 06:20
电脑软件	paper写作神器+pdf阅读神器+最强文件搜索神器+分峰类数据必杀器软件对每一个错误给出了建议，还给出了建议的来源（依托于软件强大的数据库）。有了这个软件，你就不用整天寻思为啥我的word没有纠错功能，也不用在论文定稿后为难朋友们帮你查错了。...	ke31112	2020-05-29 07:40
考研	paper写作神器+pdf阅读神器+最强文件搜索神器+分峰类数据必杀器软件对每一个错误给出了建议，还给出了建议的来源（依托于软件强大的数据库）。有了这个软件，你就不用整天寻思为啥我的word没有纠错功能，也不用在论文定稿后为难朋友们帮你查错了。...	zhan6609	2020-05-29 01:49
考研	paper写作神器+pdf阅读神器+最强文件搜索神器+分峰类数据必杀器软件对每一个错误给出了建议，还给出了建议的来源（依托于软件强大的数据库）。有了这个软件，你就不用整天寻思为啥我的word没有纠错功能，也不用在论文定稿后为难朋友们帮你查错了。...	yong13878	2020-05-28 06:40
科研工具	paper写作神器+pdf阅读神器+最强文件搜索神器+分峰类数据必杀器... 软件对每一个错误给出了建议，还给出了建议的来源（依托于软件强大的数据库）。...6.词博词典-超好用的离线科技词典绿色版读研期间就在用的科技词典，由于是离线版，完美解决没有网络又懒得去...	kakarote	2020-05-26 03:52
电脑软件	【PPT插件】PPT高手的秘籍里，都有这个小插件！数据理论图片等可以使用这些高质量的图示模板来展示。...很多时候需要自己去找配色，然后设置主题色，非常麻烦，打开iSlide的色彩库，里面有几千种配色，分行业分色系分类别，非常好用。...	yanbi177	2020-03-15 03:39
科研工具	iSlide，ppt制作助手数据理论图片等可以使用这些高质量的图示模板来展示。...很多时候需要自己去找配色，然后设置主题色，非常麻烦，打开islide的色彩库，里面有几千种配色，分行业分色系分类别，非常好用。...	yuhang22	2019-06-04 06:19
硕博家园	iSlide，一款神奇的ppt制作小插件数据理论图片等可以使用这些高质量的图示模板来展示。...很多时候需要自己去找配色，然后设置主题色，非常麻烦，打开islide的色彩库，里面有几千种配色，分行业分色系分类别，非常好用。...	buxing1699	2019-05-28 07:37
程序语言	可用于Fortran的C++曲线绘制库CChart 不知道大家在Fortran里面，高大上的计算完成以后，采用什么方法来绘制数据曲线...以前并没有考虑在Fortran下面的使用，近期，本人在CompaqVisualFortran6.6下面尝试了一下，发现还是比较好用。...	baita00	2019-05-04 01:26
第一性原理	求zrcu马氏体的icsd卡片但是没有原子坐标，可否在只有这两个数据的前提下，计算原子坐标3icsd卡片，我在findit和icsdweb都搜寻不到，望告知其他好用的...有计算方法的也求大神教我我不是伸手党，只求一个方法方向，...	爱酷水蓝天	2019-04-02 12:37
考研	2019复旦大学金融431高分超详细经验贴但录取分数与2017年相比，上升幅度还是很大，今年校内可以调剂大数据学院，且金融不刷人的传统依然保留甚至没有调剂小专业，...有的同学会看朱伟老师恋恋有词的视频，我觉得对英语二的备考...	gongbei134	2019-03-28 04:31
外语学习	雅思复习方法之听力/阅读篇墨墨记单词的优点很多，比百词斩、扇贝都好用。...这期间，有个同学一直让我刷王陆语料库，所以我前前后后把语料库听写了三遍，因而保证s1、s4的正确率在90%以上（20个题最多错2个）。...	向日葵first	2019-03-28 07:27
导师招生	军事医学研究院毒物药物研究所抗体工程课题组招收2019年免疫学... 你不会为了订购试剂而缩手缩脚，只要能得到最好的数据，那就用最好的试剂。2.你不用为洗瓶子而浪费宝贵的科研时间，我们有专门的师傅负责洗...5.你不会因为抢不到好用的移液器而影响实验心情。...	科研虫洞人	2019-02-06 03:15
标准与专利	药物专利的检索数据库药物专利的检索数据库，购买的，大家一般都用啥数据库呀？有二次人工加工的数据库吗？就是比较精准的哈哈免费的数据库，没有购买的好用呀~	凉夜~草	2018-11-22 02:43