压碎
发表于 2025-3-30 11:38:15
http://reply.papertrans.cn/47/4695/469412/469412_51.png
Tailor
发表于 2025-3-30 15:27:21
http://reply.papertrans.cn/47/4695/469412/469412_52.png
prolate
发表于 2025-3-30 20:03:44
http://reply.papertrans.cn/47/4695/469412/469412_53.png
Pelago
发表于 2025-3-30 23:43:24
http://reply.papertrans.cn/47/4695/469412/469412_54.png
Gullible
发表于 2025-3-31 03:52:40
Math Literate Knowledge Management via Induced Material, mathematical libraries and establish how to access it to make it available for applications, creating a form of mathematical literacy. We show two examples of math-literate MKM systems – searching for induced statements and accessing a knowledge via induced theories – to show the utility of the approach.