the proceedings contain 39 papers. the topics discussed include: on regular and logarithmic solutions of ordinary linear differential systems;normal forms and integrability of ODE systems;resultant-based methods for p...
详细信息
ISBN:
(纸本)3540289666
the proceedings contain 39 papers. the topics discussed include: on regular and logarithmic solutions of ordinary linear differential systems;normal forms and integrability of ODE systems;resultant-based methods for plane curves intersection problems;symbolic calculations in studying the stability of dynamically symmetric satellite motion;generation of orthogonal grids on curvilinear trimmed regions in constant time;real solving of bivariate polynomial systems;circulant digraphs and monomial ideals;algebraic topological analysis of time-sequence of digital images;investigation of the stability problem for the critical cases of the Newtonian many-body problem;on compatibility of discrete relations;and construction of two level orthogonal arrays via solutions of linear systems.
the proceedings contain 24 papers. the topics discussed include: construction of irreducible polynomials over finite fields;factorization of polynomials and GCD computations for finding universal denominators;a role o...
ISBN:
(纸本)3642152732
the proceedings contain 24 papers. the topics discussed include: construction of irreducible polynomials over finite fields;factorization of polynomials and GCD computations for finding universal denominators;a role of symbolic computations in beam physics;thomas decomposition of algebraic and differential systems;on multivariate homogeneous polynomial decomposition;computing matrix representations of filiform Lie algebras;type specialization in Aldor;on sufficient conditions for integrability of a planar system of ODEs near a degenerate stationary point;symbolic-numeric algorithms for computer analysis of spheroidal quantum dot models;on reduction of lagrange systems;series transformations to improve and extend convergence;differential resultant, computeralgebra and completely integrable dynamical systems;and generic, type-safe and object oriented computeralgebra software.
the rise of metamorphic malware has sparked research interest in its dangerous attacks on information assets and computer networks. Sophos’s recent threat report reveals that 94% of malware targeting organizations ar...
详细信息
the proceedings contain 32 papers. the special focus in this conference is on computeralgebra in scientificcomputing. the topics include: On the differential and full algebraic complexities of operator matrices tran...
ISBN:
(纸本)9783319456409
the proceedings contain 32 papers. the special focus in this conference is on computeralgebra in scientificcomputing. the topics include: On the differential and full algebraic complexities of operator matrices transformations;on the differential and full algebraic complexities of operator matrices transformations;setup of order conditions for splitting methods;improved computation of involutive bases;computing all space curve solutions of polynomial systems by polyhedral methods;algorithmic computation of polynomial amoebas;the complexity of cylindrical algebraic decomposition with respect to polynomial degree;symbolic algorithm for generating irreducible rotational-vibrational bases of point groups;a note on dynamic grobner bases computation;on multiple eigenvalues of a matrix dependent on a parameter;computing sparse representations of systems of rational fractions;using sparse interpolation in hensel lifting;a survey of satisfiability modulo theory;quadric arrangement in classifying rigid motions of a 3D digital image;enhancing the extended hensel construction by using grobner bases;pruning algorithms for pretropisms of newton polytopes and computational aspects of a bound of lagrange.
the proceedings contain 31 papers. the topics discussed include: on m-interlacing solutions of linear difference equations;parametric analysis of stability conditions for a satellite with gyrodines;computing and visua...
ISBN:
(纸本)3642041027
the proceedings contain 31 papers. the topics discussed include: on m-interlacing solutions of linear difference equations;parametric analysis of stability conditions for a satellite with gyrodines;computing and visualizing closure objects using relation algebra and RelView;on integrability of a planar ODE system near a degenerate stationary point;code generation for polynomial multiplication;the comparison method of physical quantity dimensionalities;involution and difference schemes for the Navier-Stokes equations;on computingthe hermite form of a matrix of differential polynomials;on invariant manifolds of dynamical systems in lie algebras;on the complexity of reliable root approximation;algebraic approach to the computation of the defining polynomial of the algebraic Riccati equation;effective quantifier elimination for presburger arithmetic with infinity;and lazy and forgetful polynomial arithmetic and applications.
the proceedings contain 36 papers. the topics discussed include: analytic solutions of linear difference equations, formal series, and bottom summation;computations in modules over communicative domains;advances on th...
详细信息
ISBN:
(纸本)9783540751861
the proceedings contain 36 papers. the topics discussed include: analytic solutions of linear difference equations, formal series, and bottom summation;computations in modules over communicative domains;advances on the continued fractions method using better estimations of positive root bounds;an efficient LLL gram using buffered transformations;algebraic visualization of relations using REL VIEW;comprehensive triangular decomposition;stability investigation of a difference scheme for incompressible navier-stokes equations;a symbolic-numerical algorithm for solving the eigenvalue problem for a hydrogen atom in the magnetic field: cylindrical coordinates;an algorithm for construction of normal forms;and computeralgebra: a 'classical' path to explore decoherence and entanglement phenomena in quantum information theory.
Withthe rapid digitization of Electronic Health Records (EHRs), fast and adaptive data anonymization methods have become increasingly important. While tools from topological data analysis (TDA) have been proposed to ...
详细信息
the proceedings contain 35 papers. the special focus in this conference is on computeralgebra in scientificcomputing. the topics include: Hypergeometric solutions of first-order linear difference systems with ration...
ISBN:
(纸本)9783319240206
the proceedings contain 35 papers. the special focus in this conference is on computeralgebra in scientificcomputing. the topics include: Hypergeometric solutions of first-order linear difference systems with rational-function coefficients;janet bases and resolutions in CoCoALib;regular chains under linear changes of coordinates and applications;a standard basis free algorithm for computingthe tangent cones of a space curve;research on the stability of relative equilibria of oblate axisymmetric gyrostat by means of symbolic-numerical modelling;a new approach for computing regular solutions of linear difference systems;solving polynomial systems in the cloud with polynomial homotopy continuation;finding first integrals using normal forms modulo differential regular chains;simplification of cylindrical algebraic formulas;intuition, perturbation theory and algorithmic algebra;polynomial complexity recognizing a tropical linear variety;computing highest-order divisors for a class of quasi-linear partial differential equations;symbolic-numeric solution of boundary-value problems for the schrodinger equation using the finite element method;application of computeralgebra methods to investigation of influence of constant torque on stationary motions of satellite;bounds for the condition number of polynomials systems with integer coefficients;on invariant manifolds and their stability in the problem of motion of a rigid body under the influence of two force fields;homotopy analysis method for stochastic differential equations with maxima;on the topology and visualization of plane algebraic curves;piecewise-quadratics and reparameterizations for interpolating reduced data and parametric solvable polynomial rings and applications.
the proceedings contain 26 papers. the topics discussed include: comparison maps for relatively free resolutions;reducing computational costs in the basic perturbation lemma;application of computeralgebra for constru...
详细信息
ISBN:
(纸本)354045182X
the proceedings contain 26 papers. the topics discussed include: comparison maps for relatively free resolutions;reducing computational costs in the basic perturbation lemma;application of computeralgebra for construction of quasi-periodic solutions for restricted circular planar three body problem;efficient preprocessing methods for quantifier elimination;symbolic and numerical calculation of transport integrals for some organic crystals;on the provably tight approximation of optimal meshing for non-convex regions;providing modern software environments to computeralgebra systems;the instability of the rhombus-like central configurations in Newton 9-body problem;algorithmic invariants for Alexander modules;simplicial perturbation techniques and effective homology;numerical study of stability domains of Hamiltonian equation solutions;and numeric-symbolic computations in the study of central configurations in the planar Newtonian four-body problem.
暂无评论