Japan Journal of Industrial and Applied Mathematics (Project Euclid)

Japan Journal of Industrial and Applied Mathematics, Volume 25, Number 1 (2008)

Mon, 23 Jun 2008 11:28 EDT

Contents:

R. Glowinski, E.J. Dean, G. Guidoboni, L.H. Juárez, T.-W. Pan. Applications of Operator-Splitting Methods to the Direct Numerical Simulation of Particulate and Free-Surface Flows and to the Numerical Solution of the Two-Dimensional Elliptic Monge--Ampère Equation. 1--63.

Kensuke Aishima, Takayasu Matsuo, Kazuo Murota. Rigorous Proof of Cubic Convergence for the dqds Algorithm for Singular Values. 65--81.

Rashid Farooq. A Polynomial-Time Algorithm for a Stable Matching Problem with Linear Valuations and Bounded Side Payments. 83--98.

Shigenori Yanagi. Asymptotic Behavior of the Solutions for One-Dimensional Equations of a Viscous Reactive Gas. 99--116.

Shin-Ichiro Ei, Hideo Ikeda, Takeyuki Kawana. Dynamics of Front Solutions in a Specific Reaction-Diffusion System in One Dimension. 117--147.

Japan Journal of Industrial and Applied Mathematics, Volume 25, Number 2 (2008)

Thu, 03 Jul 2008 16:59 EDT

Contents:

Tetsuo Asano, Naoki Katoh, Hisao Tamaki, Takeshi Tokuyama. Voronoi Diagrams with Respect to Criteria on Vision Information. 149--164.

Masatake Mori, Ahniyaz Nurmuhammad, Takefumi Murai. Numerical Solution of Volterra Integral Equations with Weakly Singular Kernel Based on the DE-Sinc Method. 165--183.

Tokushi Ito, Ken Hayami. Preconditioned GMRES Methods for Least Squares Problems. 185--207.

Tanaka Ken'ichiro, Masaaki Sugihara, Murota Kazuo. Complex-Analytic Approach to the Sinc-Gauss Sampling Formula. 209--231.

Tetsuya Ishiwata. Motion of Non-Convex Polygons by Crystalline Curvature and Almost Convexity Phenomena. 233--253.

Japan Journal of Industrial and Applied Mathematics, Volume 25, Number 3 (2008)

Fri, 05 Jun 2009 09:37 EDT

Contents:

Takuya Kitamoto. On Computation of a Power Series Root with Arbitrary Degree of Convergence. 255--279.

Masataka Kuwamura. Deviation from the Predicted Wavenumber in a Mode Selection Problem for the Turing Patterns. 281--303.

F. Fleischer, C. Gloaguen, H. Schmidt, V. Schmidt, F. Schweiggert. Simulation Algorithm of Typical Modulated Poisson--Voronoi Cells and Application to Telecommunication Network Modelling. 305--330.

Kohtaro Watanabe, Izumi Takagi. Representation Formula for the Critical Points of the Tadjbakhsh--Odeh Functional and its Application. 331--372.

Japan Journal of Industrial and Applied Mathematics, Volume 26, Number 1 (2009)

Fri, 05 Jun 2009 09:40 EDT

Contents:

Xiaoke Cui, Ken Hayami. Generalized Approximate Inverse Preconditioners for Least Squares Problems. 1--14.

Satoshi Koide, Daisuke Furihata. Nonlinear and Linear Conservative Finite Difference Schemes for Regularized Long Wave Equation. 15--40.

Masatake Mori, Ahniyaz Nurmuhammad, Mayinur Muhammad. DE-Sinc Method for Second Order Singularly Perturbed Boundary Value Problems. 41--63.

Vitoriano Ruas, Antonio Brasil Jr., Paulo Trales. An Explicit Method for Convection-Diffusion Equations. 65--91.

Hyung-Chun Lee. Optimal Control Problems for the Two Dimensional Rayleigh--Bénard Type Convection by a Gradient Method. 93--121.

Japan Journal of Industrial and Applied Mathematics, Volume 26, Number 2 (2009)

Mon, 01 Feb 2010 09:18 EST

Contents:

Kohshi Okumura. Application of the Krawczyk--Moore--Jones Algorithm to Electric Circuit Analysis and Its Further Development. 145--167.

Takeshi Ogita, Shin'ichi Oishi. Fast Verified Solutions of Linear Systems. 169--190.

Stef Graillat, Philippe Langlois, Nicolas Louvet. Algorithms for Accurate, Validated and Fast Polynomial Evaluation. 191--214.

Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi. Adaptive and Efficient Algorithm for 2D Orientation Problem. 215--231.

Yoshitaka Watanabe. A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations. 232--247.

Siegfried M. Rump. Inversion of Extremely Ill-Conditioned Matrices in Floating-Point. 249--277.

Günter Mayer. Direct Methods for Linear Systems with Inexact Input Data. 279--296.

Goetz Alefeld. Verified Numerical Computation for Nonlinear Equations. 297--315.

Xiaojun Chen. Numerical Verification Methods for Spherical $t$-Designs. 317--325.

Yusuke Nakaya, Tetsuo Nishi, Shin'ichi Oishi, Martin Claus. Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations. 327--336.

Christian Jansson. On Verified Numerical Computations in Convex Programming. 337--363.

Nobito Yamamoto, Takashi Komori. An Application of Taylor Models to the Nakao Method on ODEs. 365--392.

Zin Arai, Hiroshi Kokubu, Paweł Pilarczyk. Recent Development in Rigorous Computational Methods in Dynamical Systems. 393--417.

Michael Plum. Computer-Assisted Proofs for Semilinear Elliptic Boundary Value Problems. 419--442.

Yoshitaka Watanabe, Mitsuhiro T. Nakao. Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh--Bénard Problem. 443--463.

Shin'ichi Oishi, Takeshi Ogita, Siegfried M. Rump. Iterative Refinement for Ill-Conditioned Linear Systems. 465--476.

Kaori Nagatou. Numerical Verification Method for Infinite Dimensional Eigenvalue Problems. 477--491.

Kenta Kobayashi. A Constructive A Priori Error Estimation for Finite Element Discretizations in a Non-Convex Domain Using Singular Functions. 493--516.

Masaaki Kanno, Hirokazu Anai. Computer Algebra for Guaranteed Accuracy. How Does It Help?. 517--530.

Updated: Japan Journal of Industrial and Applied Mathematics, Volume 26, Number 2-3 (2009)

Tue, 04 Oct 2011 16:09 EDT

Contents:

Masaaki Sugihara. Preface. 123--123.

Mitsuhiro T. Nakao, Shin'ichi Oishi. Guest editors' preface. 123--124.

Teruo Sunaga. Theory of an interval algebra and its application to numerical analysis [Reprint of Res. Assoc. Appl. Geom. Mem. 2 (1958), 29–46]. 125--143.

Kohshi Okumura. Application of the Krawczyk--Moore--Jones Algorithm to Electric Circuit Analysis and Its Further Development. 145--167.

Takeshi Ogita, Shin'ichi Oishi. Fast Verified Solutions of Linear Systems. 169--190.

Stef Graillat, Philippe Langlois, Nicolas Louvet. Algorithms for Accurate, Validated and Fast Polynomial Evaluation. 191--214.

Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi. Adaptive and Efficient Algorithm for 2D Orientation Problem. 215--231.

Yoshitaka Watanabe. A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations. 233--247.

Siegfried M. Rump. Inversion of Extremely Ill-Conditioned Matrices in Floating-Point. 249--277.

Günter Mayer. Direct Methods for Linear Systems with Inexact Input Data. 279--296.

Goetz Alefeld. Verified Numerical Computation for Nonlinear Equations. 297--315.

Xiaojun Chen. Numerical Verification Methods for Spherical $t$-Designs. 317--325.

Yusuke Nakaya, Tetsuo Nishi, Shin'ichi Oishi, Martin Claus. Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations. 327--336.

Christian Jansson. On Verified Numerical Computations in Convex Programming. 337--363.

Nobito Yamamoto, Takashi Komori. An Application of Taylor Models to the Nakao Method on ODEs. 365--392.

Zin Arai, Hiroshi Kokubu, Paweł Pilarczyk. Recent Development in Rigorous Computational Methods in Dynamical Systems. 393--417.

Michael Plum. Computer-Assisted Proofs for Semilinear Elliptic Boundary Value Problems. 419--442.

Yoshitaka Watanabe, Mitsuhiro T. Nakao. Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh--Bénard Problem. 443--463.

Shin'ichi Oishi, Takeshi Ogita, Siegfried M. Rump. Iterative Refinement for Ill-Conditioned Linear Systems. 465--476.

Kaori Nagatou. Numerical Verification Method for Infinite Dimensional Eigenvalue Problems. 477--491.

Kenta Kobayashi. A Constructive A Priori Error Estimation for Finite Element Discretizations in a Non-Convex Domain Using Singular Functions. 493--516.

Masaaki Kanno, Hirokazu Anai. Computer Algebra for Guaranteed Accuracy. How Does It Help?. 517--530.