10 citations
4 papers
A Crank-Nicolson type minimization scheme for a hyperbolic free boundary problem
Yoshiho Akagawa, Elliott Ginder, Syota Koide +2
We consider a hyperbolic free boundary problem by means of minimizing time discretized functionals of Crank-Nicolson type. The feature of this functional is that it enjoys energy c…
Investigation into Open-Ended Fitness Landscape through Evolutionary Logical Circuits
Masaki Suyama, Kosuke Sato
Cumulative cultural evolution is what made humanity to thrive in various ecological and demographic environments. Solutions to the tasks that humans needed to solve could be mapped…
Abelian quotients of the -filtration on the homology cylinders via the LMO functor
Yuta Nozaki, Masatoshi Sato, Masaaki Suzuki
We construct a series of homomorphisms from the -filtration on the monoid of homology cylinders to torsion modules via the mod reduction of the LMO functor. The res…
Decidable fan theorem and uniform continuity theorem with continuous moduli
Makoto Fujiwara, Tatsuji Kawai
The uniform continuity theorem (UCT) states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive mathematics, UCT is s…