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

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: Anthony Narkawicz