Koji Nakagawa

Available identifiers

zbMath Open nakagawa.kojiMaRDI QIDQ865641

List of research outcomes

Publication	Date of Publication	Type
Modeling myosin-dependent rearrangement and force generation in an actomyosin network	2018-09-21	Paper
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks	2008-07-01	Paper
Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach	2007-11-29	Paper
Logicographic symbols	2007-10-23	Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration	2007-02-20	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2005-08-26	Paper
The TH\(\exists\)OREM\(\forall\) project: A progress report	2002-07-03	Paper
Two tools for mathematical knowledge management in theorema	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4499158	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4364372	2000-07-18	Paper

Research outcomes over time

This page was built for person: Koji Nakagawa