Mathematical formula search
From MaRDI portal
Publication:389888
zbMath1310.68217MaRDI QIDQ389888
Michael Kohlhase, Olaf Teschke, Helena Mihaljević-Brandt, Wolfram Sperber
Publication date: 21 January 2014
Published in: European Mathematical Society Newsletter (Search for Journal in Brave)
Full work available at URL: https://www.ems-ph.org/journals/newsletter/pdf/2013-09-89.pdf
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
68P20: Information storage and retrieval of data