D. A. Wolfram

Available identifiers

zbMath Open wolfram.david-aMaRDI QIDQ1262769

List of research outcomes

Publication	Date of Publication	Type
Semantics for abstract clauses	2023-12-08	Paper
Rewriting, and equational unification: the higher-order cases	2022-12-09	Paper
FACTORING VARIANTS OF CHEBYSHEV POLYNOMIALS WITH MINIMAL POLYNOMIALS OF	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(2π/d)	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	2019-01-15	Paper
The Clausal Theory of Types	2009-10-22	Paper
Complexity of nilpotent unification and matching problems.	2003-01-14	Paper
A formula for the general solution of a constant-coefficient difference equation	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4398229	1999-05-05	Paper
A semantics for \(\lambda \)Prolog	1997-02-27	Paper
The Clausal Theory of Types	1993-01-23	Paper
Intractable unifiability problems and backtracking	1989-01-01	Paper
Forward checking and intelligent backtracking	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3740274	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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