Trifon Trifonov

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
scientific article; zbMATH DE number 7471663 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471663 (Why is no real title available?)	2022-02-09	Paper
Dialectica interpretation with marked counterexamples	2021-03-03	Paper
Dialectica interpretation with marked counterexamples (available as arXiv preprint)	2021-03-03	Paper
Interactive visualizations in mathematics and computer science education	2017-01-17	Paper
Automatic verification of properties of intuitionistic fuzzy connectives via Mathematica	2013-05-29	Paper
Analysis of methods for extraction of programs from non-constructive proofs.	2012-10-12	Paper
Exploring the computational content of the infinite pigeonhole principle Journal of Logic and Computation	2012-05-07	Paper
Light Dialectica revisited Annals of Pure and Applied Logic	2011-08-26	Paper
Quasi-linear Dialectica Extraction Programs, Proofs, Processes	2010-07-29	Paper
Dialectica interpretation with fine computational control Mathematical Theory and Computational Practice	2010-07-28	Paper
scientific article; zbMATH DE number 5353432 (Why is no real title available?)	2008-10-17	Paper
scientific article; zbMATH DE number 5343671 (Why is no real title available?)	2008-09-12	Paper
GNTicker -- a software tool for efficient interpretation of generalized net models	2008-09-09	Paper
Interactions in an art neural system	2008-04-03	Paper
Two new intuitionistic fuzzy implications	2008-02-22	Paper
Fast computation of a gated dipole field Neural Networks	2007-01-11	Paper
Fuzzy regression algorithm for the multi-modeling approach	2006-10-20	Paper
scientific article; zbMATH DE number 5012682 (Why is no real title available?)	2006-03-16	Paper
scientific article; zbMATH DE number 2020853 (Why is no real title available?)	2004-01-04	Paper

Research outcomes over time

This page was built for person: Trifon Trifonov