Anthony Narkawicz

Available identifiers

zbMath Open narkawicz.anthony-josephMaRDI QIDQ287266

List of research outcomes

Publication	Date of Publication	Type
Formal verification of termination criteria for first-order recursive functions	2024-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q6099621	2023-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q5195242	2019-09-18	Paper
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.	2019-09-18	Paper
Formalization of the undecidability of the halting problem for a functional language	2018-10-18	Paper
Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems	2016-05-26	Paper
Formalization of Bernstein polynomials and applications to global optimization	2015-06-23	Paper
Provably correct conflict prevention bands algorithms	2012-07-20	Paper
Cohomology Jumping Loci and Relative Malcev Completion	2008-04-25	Paper
The First Cohomology Group H^1(G,M)	2003-10-18	Paper

Research outcomes over time

This page was built for person: Anthony Narkawicz