Mathematics and Computers in Simulation (MATCOM)

1958 - 2025

Current editor(s): Robert Beauwens

From Elsevier
Bibliographic data for series maintained by Catherine Liu ().

Access Statistics for this journal.
Is something missing from the series or not right? See the RePEc data check for the archive and series.

Volume 42, issue 4, 1996

Computer algebra and solving polynomials pp. 321-321

V. Gerdt

Involution approach to investigating polynomial systems pp. 323-332

A.Yu. Zharkov and Yu.A. Blinkov

Parametrized solutions of algebraic equations pp. 333-338

Franz Winkler

Solving polynomial equations: Characteristic sets and triangular systems pp. 339-351

Dongming Wang

Parametrization of semialgebraic sets pp. 353-362

M.J. González-López, T. Recio and F. Santos

Sketches and computations over fields pp. 363-373

Dominique Duval and Jean-Claude Reynaud

Examples of using dynamic constructible closure pp. 375-383

Teresa Gómez-Díaz

Computer algebra and differential equations pp. 385-386

M.A.H. MacCallum

On the factorisation of linear ordinary differential operators pp. 387-389

Manuel Bronstein

Approaches to solving nonlinear ODEs pp. 391-398

Thomas Wolf and Andreas Brand

Homogeneity of integrability conditions for multi-parametric families of polynomial-non-linear evolution equations pp. 399-408

V.P. Gerdt

An algorithm of multisummation of formal power series, solutions of linear ODE equations pp. 409-425

F. Jung, F. Naegele and J. Thomann

Elimination and complexity pp. 427-427

M. Giusti

Complexity bounds in elimination theory — A survey pp. 429-438

Pablo Solernó

An optimization of Seidenberg's elimination algorithm in differential algebra pp. 439-448

F. Boulier

Multidimensional residues and complexity problems pp. 449-457

C.A. Berenstein and A. Yger

Geometry and algebraic topology pp. 459-459

F. Sergeraert

An algorithm computing homotopy groups pp. 461-465

Pedro Real

Integrating functional programming and symbolic computation pp. 467-473

Julio Jesús Rubio García

On computer-assisted research in homological algebra pp. 475-490

Jan-Erik Roos

Theory and practice of algebraic algorithms pp. 491-491

V. Trevisan

Advancing the study of differential equations with technology pp. 493-508

Martha L. Abell and James P. Braselton

Floating point Gröbner bases pp. 509-528

Kiyoshi Shirayanagi

Algebraic computation in geometry pp. 529-537

Franz Winkler

Real algebraic numbers pp. 539-540

T. Recio

Generic computation of the real closure of an ordered field pp. 541-549

Zenon Ligatsikas, Renaud Rioboo and Marie Françoise Roy

Dynamic evaluation and real closure pp. 551-560

D. Duval and L. González-Vega

Radical computations of zero-dimensional ideals and real root counting pp. 561-569

E. Becker and T. Wörmann

An efficient method for analyzing the topology of plane real algebraic curves pp. 571-582

Hoon Hong

Symbolic devices and numerical solving of PDEs pp. 583-583

V. Ganzha

Various proofs of Sylvester's (determinant) identity pp. 585-593

Alkiviadis G. Akritas, Evgenia K. Akritas and Genadii I. Malaschonok

A proof of convergence for the combination technique for the Laplace equation using tools of symbolic computation pp. 595-605

H. Bungartz, M. Griebel, D. Röschke and C. Zenger

Symbolic-numerical computation of the stability regions for Jameson's schemes pp. 607-615

V.G. Ganzha and E.V. Vorozhtsov

Symbolic semi-discretization of partial differential equation systems pp. 617-628

B.-M Pfeiffer and W Marquardt

Stability analysis by quantifier elimination pp. 629-638

Stanly Steinberg and Richard Liska

Dynamical systems pp. 639-639

G. Jacob

Iterated derivatives of the output of a nonlinear dynamic system and Faà di Bruno formula pp. 641-657

Christiane Hespel

Symbolic differentiation library for simulation of multibody rigid systems pp. 659-673

D. Villard and B. Arnaldi

Algorithms for symbolic reduction of signal flow graphs pp. 675-684

Maciej Szymkat

A variant for numerical simulation of a high-frequency converter with voltage-fed inverter pp. 685-692

Mircea Chindriş and Tiberiu Coloşi

Motion planning problem: Parametrized inputs and drift problem pp. 693-706

C. Guyon

Summations of polylogarithms via evaluation transform pp. 707-728

Hoang Ngoc Minh,

The impact of computer algebra on the use and understanding of fundamental interactions pp. 729-729

H. Caprasse

Evaluation of Ashtekar variables using stensor pp. 731-738

Varsha Daftardar-Gejji

Algebraic computing in torsion theories of gravitation pp. 739-748

Joel B. Fonseca-Neto, M.J. Reboucas and M.A.H. MacCallum

Graphs and curves drawing pp. 749-749

G. Jacob

Recursive calculation of the derivatives of rational curves in (BR) form pp. 751-764

J.C. Fiorot, P. Jeannin and B. Sucher

Cabri-graph, a sketchpad for graph theory pp. 765-774

O. Baudon and J.M. Laborde

Volume 42, issue 2, 1996

Editorial pp. 123-123

R.J.L. Hanus

On the identifiability and distinguishability of nonlinear parametric models pp. 125-134

Eric Walter and Luc Pronzato

Parameter estimation in dynamic systems pp. 135-142

Walter J.H. Stortelder

Learning structures from data and experts pp. 143-152

Søren Højsgaard

Robust approaches to N-leaching under uncertainties pp. 153-157

W. Paul and E. Witte

Power and limitations of model based bioprocess optimization pp. 159-169

Jan F.M. Van Impe

Stochastic simulation of biotechnical processes pp. 171-178

Michael Kinder and Wolfgang Wiechert

Mechanistic mathematical models of microbial growth in bioreactors and in natural soils: Explanation of complex phenomena pp. 179-186

N.S. Panikov

Simulation of xanthan gum production by a chemically structured kinetic model pp. 187-195

F. García-Ochoa, V.E. Santos and A. Alcón

Kinetic model of hybridoma cultures for the identification of rate limiting factors and process optimisation pp. 197-205

A. Lourenço da Silva, A. Marc, J.M. Engasser and J.L. Goergen

Correlation of mixing and fermentation performance pp. 207-211

U.E. Viesturs and J.J. Vanags

Block oriented modeling of drying processes pp. 213-219

I. Farkas and Z. Rendik

A new conceptual model to compute the drying front in wheat pp. 221-232

Sz. Szöke and E. Persoons

Building a grey box model to model the energy and mass transfer in an imperfectly mixed fluid by using experimental data pp. 233-244

M. De Moor and D. Berckmans

Numerical simulation of the in vivo fluorescence in plants pp. 245-253

Alexandrina D. Stirbet and Reto J. Strasser

The use of iterative linear programming in practical applications of animal diet formulation pp. 255-261

Alan G. Munford

Quantitative aspects of sustainable agriculture pp. 263-269

O. Richter and R. Seppelt

Regressive modelling of soil water table fluctuations pp. 271-277

G. Boucneau, M. Van Meirvenne, J. Desmet and G. Hofman

Modelling the thermal sterilisation of foods inside packs with two divisions pp. 279-285

Isabel M.L.B. Ávila, Maria da Conceição Manso and Cristina L.M. Silva

Predictive food microbiology: A probabilistic approach pp. 287-292

B.M. Nicolaï and J.F. Van Impe

Mapping disease risk using a joint probability distribution pp. 293-298

Steven E. Hollinger and Leszek Kuchar

Optimal stocking and harvesting of size-structured farmed fish: A multi-period linear programming approach pp. 299-305

Odd Inge Forsberg

Volume 42, issue 1, 1996

Transputer simulation of decoupled electrical circuits pp. 1-13

K.K. Fung and S.Y.R. Hui

Application of the transmission line method to the solution of the continuous Kalman filter equations of general order pp. 15-33

M.S. Woolfson and S.Y.R. Hui

On linear interpolation under interval data pp. 35-45

S. Markov, E. Popova, U. Schneider and J. Schulze

Multi-parameterized Schwarz alternating methods for elliptic boundary value problems pp. 47-76

S.-B. Kim, A. Hadjidimos, E.N. Houstis and J.R. Rice

Application of Legendre series to the control problems governed by linear parabolic equations pp. 77-84

Mohsen Razzaghi and Mohammad Habibi

Modelling and numerical simulation of contamination processes in random media pp. 85-95

A. Belleni Morante, G. Lauro and R. Monaco

Parallel architecture of adaptive MTD processors pp. 97-105

Christo Kabakchiev and Vera Behar