2,025 followers
"Crayfish Quality Analysis Based on SVM and Infrared Spectra" https://t.co/MbQmm6yNgy https://t.co/68X92m6wDK https://t.co/2HC4GJb0ho
"Crayfish Quality Analysis Based on SVM and Infrared Spectra" https://t.co/MbQmm6yNgy https://t.co/68X92m6wDK https://t.co/2HC4GJb0ho
A formalization of topological spaces in Coq. ~ Sheng Yan, Yaoshun Fu, Dakai Guo, and Wensheng Yu. https://t.co/HVVxwYFvHt #ITP #Coq #Math