• Search: "I.1.2: Algorithms"

Showing 1 - 20 of 76

1

On the Ore extension ring of differential time-varying delay operators
Quadrat, Alban ; Ushirobira, Rosane ; OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN) ; et al.
Accounting for Constraints in Delay Systems. 12(Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics(ADD), volume 12, Springer, pp. 87-107):87-107

ACM: G.: Mathematics of... G.1: NUMERICAL ANALYSIS G.1.7: Ordinary Differen... G.1.9: Integral Equation... G.1.9.0: Delay equations ACM: I.: Computing Metho... …
Book
Save to List
2

Solving the p-Riccati Equations and Applications to the Factorisation of Differential Operators.
Pagès, Raphaël ; Université de Bordeaux (UB) ; Institut de Mathématiques de Bordeaux (IMB) ; et al.

Differential operators i... Factorisation Positive characteristic Algebraic function field... Symbolic computation Local …
Electronic Resource
Save to List
3

Computation of Koszul homology and application to involutivity of partial differential systems
Chenavier, Cyrille ; Cluzeau, Thomas ; Quadrat, Alban ; et al.
SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada

Montréal, Canada Formal integrability Koszul homology Spencer cohomology Cartan's involutivity Behaviours …
Conference
Save to List
4

An Integro-differential Operator Approach to Linear State-space Systems
Quadrat, Alban ; OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN) ; Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)) ; et al.
SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montreal, Canada. ⟨10.1016/j.ifacol.2022.11.299⟩

Montreal, Canada Linear systems Continuous-time linear s... Polynomial methods Algebraic analysis Rings of integro-differe... …
Conference
Save to List
5

An Integro-differential-delay Operator Approach to Transformations of Linear Differential Time-delay Systems
Quadrat, Alban ; OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN) ; Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)) ; et al.
SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada. ⟨10.1016/j.ifacol.2022.11.301⟩

Montréal, Canada Linear systems Systems with time-delays Polynomial methods Delay compensation ACM: G.: Mathematics of... …
Conference
Save to List
6

An integro-differential operator approach to linear differential systems
Une approche par opérateurs intégro-diférentiels des systèmes différentiels linéaires
Quadrat, Alban ; OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN) ; Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)) ; et al.
MTNS 2022 - 25th International Symposium on Mathematical Theory of Networks and Systems, Sep 2022, Bayreuth, Germany. ⟨10.1016/j.ifacol.2022.11.054⟩

Bayreuth, Germany Rings of integro-differe... Parametrization Behaviour theory Reachability Algebraic analysis …
Conference
Save to List
7

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
Bostan, Alin ; Chyzak, Frédéric ; Lairez, Pierre ; et al.
ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation. :1-8

New York, United States ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms [INFO.INFO-SC]Computer S... Symbolic Computation [cs...
Conference
Save to List
8

A Fast Algorithm for Computing the Truncated Resultant
Moroz, Guillaume ; Schost, Éric ; Effective Geometric Algorithms for Surfaces and Visibility (VEGAS) ; et al.
ISSAC '16. :341-348

Waterloo, Canada resultant power series half-GCD ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... …
Conference
Save to List
9

Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets
Bannwarth, Ivan ; Safey El Din, Mohab ; Polynomial Systems (PolSys) ; et al.
ISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation. :37-44

Bath, United Kingdom Real solutions Polynomial systems Real Geometry General Te... Theory Real dimension …
Conference
Save to List
10

A Fast Algorithm for Computing the p-Curvature
Bostan, Alin ; Caruso, Xavier ; Schost, Éric ; et al.
ISSAC 2015. :69-76

Bath, United Kingdom p-curvature Algorithms complexity differential equations ACM: I.: Computing Metho... …
Conference
Save to List
11

Sub-cubic Change of Ordering for Gröner Basis: A Probabilistic Approach
Faugère, Jean-Charles ; Gaudry, Pierrick ; Huot, Louise ; et al.
ISSAC '14 - 39th International Symposium on Symbolic and Algebraic Computation. :170-177

Kobe, Japan ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... …
Conference
Save to List
12

On the Complexity of Computing Gröbner Bases for Quasi-homogeneous Systems
Faugère, Jean-Charles ; Safey El Din, Mohab ; Verron, Thibaut ; et al.
The 38th International Symposium on Symbolic and Algebraic Computation. :189-196

Boston, Maine, United St... Polynomial system solvin... Quasi-homogeneous polyno... Gröbner bases ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... …
Conference
Save to List
13

Multiple precision evaluation of the Airy Ai function with reduced cancellation
Chevillard, Sylvain ; Mezzarobba, Marc ; Analysis and Problems of Inverse type in Control and Signal processing (APICS) ; et al.
21st IEEE Symposium on Computer Arithmetic. :175-182

Austin, TX, United State... error bounds correct rounding asymptotics Miller method arbitrary precision …
Conference
Save to List
14

A Note on the Space Complexity of Fast D-Finite Function Evaluation
Mezzarobba, Marc ; Arithmetic and Computing (ARIC) ; Centre Inria de l'Université Grenoble Alpes ; et al.
CASC - Computer Algebra in Scientific Computing. :212-223

Maribor, Slovenia error analysis bit burst guaranteed numerical eva... holonomic functions space complexity …
Conference
Save to List
15

Rational invariants of scalings from Hermite normal forms
Hubert, Evelyne ; Labahn, George ; Geometry, algebra, algorithms (GALAAD) ; et al.
International Conference on Symbolic and Algebraic Computation (ISSAC). :219-226

Grenoble, France Symmetry reduction Matrix normal form Group actions Rational invariants Symmetry reduction. …
Conference
Save to List
16

On the Generation of Positivstellensatz Witnesses in Degenerate Cases
Monniaux, David ; Corbineau, Pierre ; VERIMAG (VERIMAG - IMAG) ; et al.
Interactive Theorem Proving. :249-264

Nijmegen, Netherlands semidefinite programming Positivstellensatz polynomials witness Coq …
Conference
Save to List
17

Deflation and Certified Isolation of Singular Zeros of Polynomial Systems
Mantzaflaris, Angelos ; Mourrain, Bernard ; Geometry, algebra, algorithms (GALAAD) ; et al.
International Symposium on Symbolic and Algebraic Computation (ISSAC). :249-256

San Jose, CA, United Sta... ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms I.1.2.0: Algebraic algor... [INFO.INFO-SC]Computer S... …
Conference
Save to List
18

NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions
Mezzarobba, Marc ; Algorithms (ALGORITHMS) ; Inria Paris-Rocquencourt ; et al.
ISSAC - International Symposium on Symbolic and Algebraic Computation. :139-146

Munich, Germany D-finite functions linear differential equat... certified numerical compu... bounds Maple …
Conference
Save to List
19

Continued Fraction Expansion of Real Roots of Polynomial Systems
Mantzaflaris, Angelos ; Mourrain, Bernard ; Tsigaridas, Elias P., P. ; et al.
SNC. :85-94

Kyoto, Japan subdivision algorithm homography tensor monomial basis continued fractions C++ implementation …
Conference
Save to List
20

A Non-Holonomic Systems Approach to Special Function Identities
Chyzak, Frédéric ; Kauers, Manuel ; Salvy, Bruno ; et al.
ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation. :111-118

Seoul, South Korea Symbolic Summation and I... D-Finite Functions ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter