Anthony Narkawicz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal verification of termination criteria for first-order recursive functions Journal of Automated Reasoning	2024-02-06	Paper
scientific article; zbMATH DE number 7699444 (Why is no real title available?)	2023-06-20	Paper
scientific article; zbMATH DE number 7106478 (Why is no real title available?)	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 Journal of Automated Reasoning	2016-05-26	Paper
Formalization of Bernstein polynomials and applications to global optimization Journal of Automated Reasoning	2015-06-23	Paper
Provably correct conflict prevention bands algorithms Science of Computer Programming	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