1
Boulier, François
2023
Table of Contents:
“...Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions -- Generating Elementary Integrable Expressions -- How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse a Case Study -- A Modular...”2023
Full text
2
Boulier, François
2022
Table of Contents:
“...-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria -- Computer Science for Continuous Data: Vision, Theory, and Practice of a Computer (Algebra) ANALYSIS System -- Computational Aspects of Equivariant Hilbert Series...”2022
Full text
3
Boulier, François
2021
Table of Contents:
“...Symbolic and algebraic algorithms -- Computer algebra systems -- Mathematical software -- Modeling and simulation -- Design and analysis of algorithms -- Computability -- Complexity -- Elliptic curves -- Numerical analysis -- Differential equations...”2021
Full text
4
Gerdt, Vladimir P.
2016
Table of Contents:
“...On the Differential and Full Algebraic Complexities of Operator Matrices Transformations -- Resolving Decompositions for Polynomial Modules -- Setup of Order Conditions for Splitting Methods -- Symbolic Manipulation of Flows of Nonlinear Evolution...”2016
Full text
5
6
Gerdt, Vladimir P.
2014
Table of Contents:
“...Relation Algebra, RelView, and Plurality Voting -- An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data -- Truth Table Invariant Cylindrical Algebraic...”2014
Full text
7
8
9
10
11
12
13