Person:540320

Available identifiers

zbMath Open watt.stephen-mWikidataQ22295796 ScholiaQ22295796MaRDI QIDQ540320

List of research outcomes

Publication	Date of Publication	Type
Telescopers for differential forms with one parameter	2024-03-26	Paper
Extracting theory graphs from Aldor libraries	2024-02-28	Paper
The Inverse of the Complex Gamma Function	2023-11-28	Paper
Efficient Generic Quotients Using Exact Arithmetic	2023-11-03	Paper
Working with families of inverse functions	2023-06-02	Paper
INTERNATIONAL MATHEMATICAL KNOWLEDGE TRUST IMKT: AN UPDATE ON THE GLOBAL DIGITAL MATHEMATICS LIBRARY	2020-09-22	Paper
<tex>$QR$</tex>Factoring to Compute the GCD of Univariate Approximate Polynomials	2017-09-20	Paper
The global digital mathematics library and the international mathematical knowledge trust	2017-07-21	Paper
Towards factoring bivariate approximate polynomials	2017-02-03	Paper
Algebraic generalization	2016-07-18	Paper
Domains and expressions	2015-07-16	Paper
Determining Points on Handwritten Mathematical Symbols	2013-08-09	Paper
Lightweight Abstraction for Mathematical Computation in Java	2012-09-21	Paper
A Streaming Digital Ink Framework for Multi-party Collaboration	2012-09-07	Paper
Writing on Clouds	2012-09-07	Paper
Computing with abstract matrix structures	2012-05-13	Paper
In honour of Keith Geddes on his 60th birthday	2011-06-01	Paper
Infinite structures in scratchpad II	2011-04-16	Paper
Type Specialization in Aldor	2010-09-10	Paper
Symbolic Domain Decomposition	2010-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q3568127	2010-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q3568152	2010-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q5188253	2010-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3398145	2009-09-25	Paper
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices	2009-07-09	Paper
Algorithms for the Functional Decomposition of Laurent Polynomials	2009-07-09	Paper
Confidence Measures in Recognizing Handwritten Mathematical Symbols	2009-07-09	Paper
Algorithms for Symbolic Polynomials	2008-07-04	Paper
Mathematical Knowledge Management	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3416642	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3416661	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3416666	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3416667	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3416685	2007-01-22	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4660684	2005-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471946	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4471950	2004-07-30	Paper
Meta-stylesheets for the conversion of mathematical documents into multiple forms	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4790473	2003-06-01	Paper
Reasoning about the elementary functions of complex analysis	2002-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q2767929	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4234279	2000-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q4227277	1999-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4226966	1999-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4227296	1999-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q4226969	1999-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4002478	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4002421	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4004141	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3790646	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3790647	1988-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: Stephen M. Watt