D. A. Wolfram

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Inverse connection formulae for generalised Bessel polynomials Bulletin of the Australian Mathematical Society	2025-01-20	Paper
Semantics for abstract clauses Lecture Notes in Computer Science	2023-12-08	Paper
Rewriting, and equational unification: the higher-order cases Rewriting Techniques and Applications	2022-12-09	Paper
FACTORING VARIANTS OF CHEBYSHEV POLYNOMIALS WITH MINIMAL POLYNOMIALS OF Bulletin of the Australian Mathematical Society	2022-12-06	Paper
Change of Basis from Bernstein to Zernike	2022-03-17	Paper
Factoring variants of Chebyshev polynomials of the first and second kinds with minimal polynomials of \(\cos (\frac{2 \pi}{d})\) The American Mathematical Monthly	2022-02-28	Paper
Change of Basis between Classical Orthogonal Polynomials	2021-08-31	Paper
The Change of Basis Groupoid	2021-07-12	Paper
Unification and matching modulo nilpotence Automated Deduction — Cade-13	2019-01-15	Paper
The Clausal Theory of Types	2009-10-22	Paper
Complexity of nilpotent unification and matching problems. Information and Computation	2003-01-14	Paper
A formula for the general solution of a constant-coefficient difference equation Journal of Symbolic Computation	2000-06-07	Paper
scientific article; zbMATH DE number 1175369 (Why is no real title available?)	1999-05-05	Paper
A semantics for \(\lambda \)Prolog Theoretical Computer Science	1997-02-27	Paper
The Clausal Theory of Types	1993-01-23	Paper
Forward checking and intelligent backtracking Information Processing Letters	1989-01-01	Paper
Intractable unifiability problems and backtracking Journal of Automated Reasoning	1989-01-01	Paper
scientific article; zbMATH DE number 3974342 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: D. A. Wolfram