Koji Nakagawa

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
Modeling myosin-dependent rearrangement and force generation in an actomyosin network Journal of Theoretical Biology	2018-09-21	Paper
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks Computer Algebra in Scientific Computing	2008-07-01	Paper
Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach Algebraic Biology	2007-11-29	Paper
Logicographic symbols Journal of Symbolic Computation	2007-10-23	Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration Journal of Applied Logic	2007-02-20	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	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
scientific article; zbMATH DE number 1497747 (Why is no real title available?)	2001-03-06	Paper
scientific article; zbMATH DE number 1088025 (Why is no real title available?)	2000-07-18	Paper

Research outcomes over time

This page was built for person: Koji Nakagawa