Katherine Cordwell

Available identifiers

zbMath Open cordwell.katherineMaRDI QIDQ252484

List of research outcomes

Publication	Date of Publication	Type
Pegasus: a framework for sound continuous invariant generation	2024-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q6099601	2023-06-20	Paper
Verified Quadratic Virtual Substitution for Real Arithmetic	2023-04-21	Paper
Pegasus: sound continuous invariant generation	2022-06-20	Paper
On near-perfect numbers	2020-07-16	Paper
CAZAC Sequences and Haagerup’s Characterization of Cyclic N-roots	2020-06-29	Paper
Towards physical hybrid systems	2020-03-10	Paper
Summand minimality and asymptotic convergence of generalized Zeckendorf decompositions	2019-07-26	Paper
On algorithms to calculate integer complexity	2019-06-21	Paper
Multilinear polynomials of small degree evaluated on matrices over a unital algebra	2016-03-03	Paper
On lower central series quotients of finitely generated algebras over \(\mathbb Z\).	2014-12-05	Paper

Research outcomes over time

This page was built for person: Katherine Cordwell