Titlebook: Computer Algebra in Scientific Computing; 20th International W Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. Vorozht Conference proceedings 20

Arthritis

重画只能放弃

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling,This paper presents a proof of concept for symbolic and numeric methods dedicated to the parameter estimation problem for models formulated by means of nonlinear integro-differential equations (IDE). In particular, we address: the computation of the model input-output equation and the numerical integration of IDE systems.

obeisance

,About Some Drinfel’d Associators,We study, by means of a fragment of theory about noncommutative differential equations, existence and unicity of Drinfel’d solutions . (with asymptotic conditions). From there, we give examples of Drinfel’d series with rational coefficients.

athlete’s-foot

Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets,We explain how to compute all the solutions of a nonlinear integer problem using the algebraic test-sets associated to a suitable linear subproblem. These test-sets are obtained using Gröbner bases. The main advantage of this method, compared to other available alternatives, is its exactness within a quite good efficiency.

长矛

consolidate

Computer Algebra in Scientific Computing978-3-319-99639-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

outset

Romain Laborde,Thierry Despratsal Newton–Puiseux polynomial. A polynomial complexity algorithm for resolubility of a tropical curve is designed. The complexity of resolubility of tropical prevarieties of arbitrary codimensions is studied.

Condescending

François Gagnon,Tomas Dej,Babak Esfandiariude a criterion and an algorithm, deciding whether a tropical linear . is a tropical linear . formulated in terms of a duality between . and .. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety.

GRIN

Mystic

978-3-319-99638-7Springer Nature Switzerland AG 2018