Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 40 · Most stars

人工智能学习路线图,整理近200个实战案例与项目,免费提供配套教材,零基础入门,就业实战!包括:Python,数学,机器学习,数据分析,深度学习,计算机视觉,自然语言处理,PyTorch tensorflow machine-learning,deep-learning data-analysis data-mining mathematics data-science artificial-intelligence python tensorflow tensorflow2 caffe keras pytorch algorithm numpy pandas matplotlib seaborn nlp cv等热门领域

研究生数学建模,本科生数学建模、数学建模竞赛优秀论文,数学建模算法,LaTeX论文模板,算法思维导图,参考书籍,Matlab软件教程,PPT

数学(小学到高中)、英语(三年级到高中)、初中物理的知识图谱:1644 个知识点、2403 条先修边、6723 道题,对齐课标,附自适应前置诊断。

  • chinese
  • curriculum
  • diagnostic
  • edtech

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.