第 22 页 - 童趣PBL

lean4 mathlib在windows下安装
- 信息技术数学
- root 发布于 441 天前
- lean4 mathlib在windows下安装https://subfish-zhou.github.io/theorem_proving_in_lean4_zh_CN/setup.htmlhttps://bl...
用油猴才能去掉streamlit网页右下角home键，进制下拉刷新
- 信息技术
- root 回复于 447 天前
- // ==UserScript==// @name New script geminihome.streamlit.app// @namespace Violentmonkey Scripts//...
streamlit手机版友好去掉下来刷新和右下角home
- 信息技术
- root 发布于 447 天前
- import streamlit as st自定义HTML和JavaScript代码html_code = """<!DOCTYPE html><html><head><t...
数学网站数学乐
- 数学
- root 发布于 457 天前
- https://www.shuxuele.com/https://www.mathsisfun.com/从同济大学出版的《高等数学》，到谢惠民的《数学分析习题讲义》，一直到Lawrence C. Evans编写的《...
思维训练
- 数学
- root 发布于 458 天前
- 举一反三的形式思维：解读和跟随指令思维（定义，步骤），对偶思维，逆向（正反，简繁）思维，模型思维，抽象思维，整体（求全）思维，具体思维（个例，分类），应用思维，假设思维，综述思维，公理思维，映射同构思维。例子和...
思维训练
- 数学
- root 发布于 458 天前
- 举一反三的形式思维：解读和跟随指令思维（定义，步骤），对偶思维，逆向（正反，简繁）思维，模型思维，抽象思维，整体（求全）思维，具体思维（个例，分类），应用思维，假设思维，综述思维，公理思维，映射同构思维。例子和...
markdown笔记常见操作
- 信息技术
- root 发布于 467 天前
- pisiaba3$$ _{2}^{1} a \\ \mathbb{N} $$include<iostream>using namespace std;int main(){return 0; } **...

上一页 22/108 下一页