Showing 1 - 20 of 37

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

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
8

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
9

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
10

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
11

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
12

The Voronoi Diagram of Three Lines
Everett, Hazel ; Lazard, Daniel ; Lazard, Sylvain ; et al.
23rd Annual Symposium on Computational Geometry (SoCG'07). :255-264

Gyeongju, South Korea quadric surface intersec... medial axis Voronoi diagram ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Conference
Save to List
13

Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
Bender, Matías, R ; Faugère, Jean-Charles ; Mantzaflaris, Angelos ; et al.
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209011⟩

New York, United States Mixed Multihomogeneous s... Sparse Resultant Resultant Bilinear system Determinantal formula
Conference
Save to List
14

Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case
Bender, Matías, R ; Faugère, Jean-Charles ; Tsigaridas, Elias ; et al.
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209018⟩

New York, United States Gröbner Basis Multihomogeneous Polynom... Sparse Polynomial System Mixed Sparse Gröbner Bas... Toric variety
Conference
Save to List
15

Intrinsic complexity estimates in polynomial optimization
Bank, Bernd ; Giusti, Marc ; Heintz, Joos ; et al.
Journal of Complexity. 30(4):430-443

Polynomial optimization Intrinsic complexity ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms I.1.2.0: Algebraic algor...
Journal
Save to List
16

Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
Safey El Din, Mohab ; Zhi, Lihong ; Solvers for Algebraic Systems and Applications (SALSA) ; et al.
SIAM Journal on Optimization. 20(6):2876-2889

convex semi-algebraic se... complexity. complexity rational sum of squares semidefinite programming ACM: I.: Computing Metho...
Journal
Save to List
17

Probabilistic Algorithms for Computing Resolvent Representations of Regular Differential Ideals
Hubert, Evelyne ; Cluzeau, Thomas ; Computer algebra and functional equations (CAFE) ; et al.
Applicable Algebra in Engineering. 19(5):365-392

ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms I.1.2.0: Algebraic algor... [INFO.INFO-SC]Computer S... Symbolic Computation [cs...
Journal
Save to List
18

Fast reduction of bivariate polynomials with respect to sufficiently regular Gröbner bases
van der Hoeven, Joris ; Larrieu, Robin ; Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; et al.

MSC: 68W30, 13P10, 12Y05... ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms I.1.2.0: Algebraic algor... [INFO.INFO-SC]Computer S...
Electronic Resource
Save to List
19

Computing rational solutions of linear matrix inequalities
Guo, Qingdong ; Safey El Din, Mohab ; Zhi, Lihong ; et al.
ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States

Boston, United States complexity effective real algebraic... linear matrix inequality rational sum of squares semidefinite programming
Conference
Save to List
20

Power Series Composition and Change of Basis
Bostan, Alin ; Salvy, Bruno ; Schost, Éric ; et al.
ISSAC'08 : International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria

Hagenberg, Austria 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

Filter