Mathematical Knowledge Management

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Andrea Asperti

Themen in »Mathematical Knowledge Management«

Computer Extensible Markup Language (XML) LA LaTeX MathML calculus digitization distributed libraries of mathematics knowledge management knowledge processing mathematical knowledge management proof theory proving semantic web theorem descriptions

Stimmen zu »Mathematical Knowledge Management«

Details

Link teilen