量仔搞靓化
《量化绿皮书》Chapter 3 Calculus and Linear Algebra 微积分与线性代数（一）
目录问：求y=lnxlnxy=\ln x^{\ln x}y=lnxlnx的导数。答：令u=lny=ln(lnxlnx)=lnx×ln(lnx)u=\ln y=\ln(\ln x^{\ln x})=\ln x\times\ln(\ln x)u=lny=ln(lnxlnx)=lnx×ln(lnx)，则有dudx=d(lnx)dx×ln(lnx)+lnx×d(ln(lnx))dx=ln(lnx)x+lnxxlnx\frac{du}{dx}=\frac{d(\ln x)}{dx
看我三头六臂
陶哲轩最近在用的人工智能数学验证+定理发明工具LEAN4 [线性代数篇1前置知识]克莱姆函数cramer
- 可以看成一个n*1维的矩阵；也可以看成Fin 2 → ℝ，类似于数列；-- 比如这里结果是![8 -9]里，8就是matrix1第一列换成matrixb之后的矩阵，-- 这里不对cramer的定义做分析，只对它有一个使用的理解即可。-- 计算出来的行列式；9就是第2列替换matrixb后计算的行列式。#eval solution -- 解应该是x=!-- cramer 克莱姆函数的使用。-- 第一个参数：一个n*n的矩阵。-- 第二个参数：一个n*1的矩阵。-- 如何表示除法要有理数才行的。
作者推荐
- 四臂西瓜
- 生命在于折腾。 南京邮电大学19级本科生;西安电子科技大学23级推免研究生，研究方向为：基于FPGA的雷达信号处理。 2021年电赛国一，H题全国第一(代表H题巡展冲杯)；第四届全国大学生嵌入式芯片与系统设计竞赛国一+RT-Thread杯；第五届全国大学生FPGA创新设计竞赛国二，其余国奖、荣誉称号若干。
关注
- sobolev001
- 毕业于东北大学控制理论与控制工程专业，中国工业与应用数学学会（CSIAM）会员，中国人工智能学会（CAAI）会员，全国高校大数据联盟委员，河北省现场统计学会委员，辽宁省生物数学学会会员，东北大学秦皇岛分校数据科学与大数据技术专业负责人，大数据智慧计算综合实验室负责人，致力于大数据分析与挖掘，神经网络深度学习等相关研究
关注