List of works - Howard S. Cohl

Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems ⬇️

conference paper published in 2018

Challenges of Mathematical Information Retrievalin the NTCIR-11 Math Wikipedia Task

scientific article (publication date: 2015)

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems ⬇️

conference paper published in 2022

Connecting Islands: Bridging zbMATH and DLMF with Scholix, a blueprint for connecting expert knowledge systems ⬇️

journal article from 'European Mathematical Society Magazine' published in 2021

Digital Repository of Mathematical Formulae ⬇️

Discovering Mathematical Objects of Interest — A Study of Mathematical Notations ⬇️

conference paper published in 2020

Discovery and Recognition of Formula Concepts using Machine Learning

journal article from 'Scientometrics' published in 2023

Evaluation of Similarity-Measure Factors for Formulae Based on the NTCIR-11 Math Task ⬇️

conference paper published in 2014

Exact Fourier expansion in cylindrical coordinates for the three-dimensional Helmholtz Green function

scientific article published on 24 November 2009

Fourier and Gegenbauer expansions for fundamental solutions of the Laplacian and powers in Rd and Hd ⬇️

2010 doctoral thesis by Howard Saul Cohl at University of Auckland

Gegenbauer expansions and addition theorems for a binomial and logarithmic fundamental solution of the even-dimensional Euclidean polyharmonic equation

scientific article published in 2023

Getting the Units Right ⬇️

conference paper published in 2016

Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources

scientific article (publication date: 2015)

Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context

MathTools: An open API for convenient MathML handling ⬇️

book section published in 2018

Semantic Preserving Bijective Mappings for Expressions involving Special Functions between Computer Algebra Systems and Document Preparation Systems ⬇️

journal article from 'Aslib Journal of Information Management' published in 2019

Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems

scholarly article by Howard S. Cohl et al published 2017 in Lecture Notes in Computer Science

Semantification of Identifiers in Mathematics for Better Math Information Retrieval

scientific article (publication date: 2016)

Towards Formula Concept Discovery and Recognition ⬇️

conference paper published in 2019

Utility of integral representations for basic hypergeometric functions and orthogonal polynomials

scientific article published in 2022

VMEXT: A Visualization Tool for Mathematical Expression Trees ⬇️

book section published in 2017

List of works by Howard S. Cohl