• Search: "I.1.2.0: Algebraic algorithms"

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
Search Tools: Get RSS Feed Email this Search Save Search

Filter