Yuki Chiba

Available identifiers

zbMath Open chiba.yukiWikidataQ102081935 ScholiaQ102081935MaRDI QIDQ2009474

List of research outcomes

Publication	Date of Publication	Type
Nitsche's method for a Robin boundary value problem in a smooth domain	2023-11-23	Paper
Computing Morse decomposition of ODEs via Runge-Kutta method	2022-11-09	Paper
Erratum: Computing Morse decomposition of ODEs via Runge-Kutta method	2022-11-09	Paper
Weak discrete maximum principle and \(L^\infty\) analysis of the DG method for the Poisson equation on a polygonal domain	2019-11-28	Paper
Checking the Conformance of a Promela Design to its Formal Specification in Event-B	2016-01-06	Paper
Constructor-Based Inductive Theorem Prover	2013-09-13	Paper
Natural inductive theorems for higher-order rewriting	2012-04-24	Paper
RAPT: A Program Transformation System Based on Term Rewriting	2008-09-25	Paper

Research outcomes over time

This page was built for person: Yuki Chiba