Showing 41 - 60 of 76

41

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
42

Resultants and Discriminants for Bivariate Tensor-product Polynomials
Mantzaflaris, Angelos ; Tsigaridas, Elias ; Johann Radon Institute for Computational and Applied Mathematics (RICAM) ; et al.
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation. :8-8

Kaiserslautern, Germany Koszul resultant matrix tensor-product polynomial system solving separation bounds
Conference
Save to List
43

Computation of the Similarity Class of the $p$-Curvature
Bostan, Alin ; Caruso, Xavier ; Schost, Éric ; et al.
ISSAC 2016. :111-118

Waterloo, ON, Canada differential equations algebraic complexity p-curvature 11Y16, 68W30 ACM: I.: Computing Metho...
Conference
Save to List
44

Eventually Consistent Register Revisited
Zawirski, Marek ; Baquero, Carlos ; Bieniusa, Annette ; et al.
Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC). :7-7

London, United Kingdom CRDTs eventual consistency replicated data types ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT...
Conference
Save to List
45

A probabilistic algorithm to compute the real dimension of a semi-algebraic set
Safey El Din, Mohab ; Tsigaridas, Elias ; Polynomial Systems (PolSys) ; et al.

symbolic computation complexity Effective real algebraic... real dimension ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR...
Electronic Resource
Save to List
46

Fast algorithms for differential equations in positive characteristic
Bostan, Alin ; Schost, Éric ; Algorithms (ALGORITHMS) ; et al.

Algorithms complexity differential equations polynomial solutions p-curvature ACM: I.: Computing Metho...
Electronic Resource
Save to List
47

Complexity of Resolution of Parametric Systems of Polynomial Equations and Inequations
Moroz, Guillaume ; Systèmes Polynomiaux, Implantation, Résolution Algébrique (SPIRAL) ; Laboratoire d'Informatique de Paris 6 (LIP6) ; et al.
[Research Report] RR-5929, INRIA. 2006

Parametric polynomial sy... Complexity Elimination Discriminant variety ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR...
Report
Save to List
48

Algebraic Diagonals and Walks
Bostan, Alin ; Dumont, Louis ; Salvy, Bruno ; et al.
ISSAC'15 International Symposium on Symbolic and Algebraic Computation. :77-84

Bath, United Kingdom algorithms walks Diagonals ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR...
Conference
Save to List
49

Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance
Kaltofen, Erich L. ; Pernet, Clément ; Department of Mathematics [Raleigh] (NCSU) ; et al.
ISSAC - 39th International Symposium on Symbolic and Algebraic Computation. :272-279

Kobe, Japan ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms I.1.2.0: Algebraic algor... ACM: G.: Mathematics of...
Conference
Save to List
50

Hermite Reduction and Creative Telescoping for Hyperexponential Functions
Bostan, Alin ; Chen, Shaoshi ; Chyzak, Frédéric ; et al.
ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation. :77-84

Boston, United States Hermite reduction Hyperexponential functio... telescoper ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR...
Conference
Save to List
51

Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity
Bostan, Alin ; Dumont, Louis ; Salvy, Bruno ; et al.
Journal of Symbolic Computation. :68-92

walks Diagonals algorithms ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms
Journal
Save to List
52

Algebraic and Differential Invariants
Hubert, Evelyne ; Geometry, algebra, algorithms (GALAAD) ; Centre Inria d'Université Côte d'Azur ; et al.
Cucker. :168-190

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...
Book
Save to List
53

Power Series Solutions of Singular (q)-Differential Equations
Bostan, Alin ; Chowdhury, Muhammad F. I. ; Lebreton, Romain ; et al.
ISSAC '12: 37th International Symposium on Symbolic and Algebraic Computation. :107-114

Grenoble, France 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
54

Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators
Bostan, Alin ; Chyzak, Frédéric ; Li, Ziming ; et al.
ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation. :99-106

Grenoble, France 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
55

Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics
Dupont, Laurent ; Hemmer, Michael ; Petitjean, Sylvain ; et al.
15th Annual European Symposium on Algorithms - ESA 2007. :633-644

Eilat, Israel, October 8... ACM: G.: Mathematics of... G.4: MATHEMATICAL SOFTWA... G.4.0: Algorithm design... G.4.3: Efficiency ACM: I.: Computing Metho...
Conference
Save to List
56

Differential Equations for Algebraic Functions
Bostan, Alin ; Chyzak, Frédéric ; Salvy, Bruno ; et al.
ISSAC. :8-8

Waterloo, Canada Computer algebra algebraic series differential resolvents creative telescoping complexity
Conference
Save to List
57

Computing the Distance between Piecewise-Linear Bivariate Functions
Moroz, Guillaume ; Aronov, Boris ; Effective Geometric Algorithms for Surfaces and Visibility (VEGAS) ; et al.
ACM Transactions on Algorithms. 12(1):3-3

polyhedral terrain multipoint evaluation piecewise-linearfunction ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo...
Journal
Save to List
58

On the Complexity of the Generalized MinRank Problem
Faugère, Jean-Charles ; Safey El Din, Mohab ; Spaenlehauer, Pierre-Jean ; et al.
Journal of Symbolic Computation. 55:30-58

ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms I.1.2.0: Algebraic algor... I.1.2.1: Analysis of alg... ACM: F.: Theory of Compu...
Journal
Save to List
59

On the Complexity of Solving Quadratic Boolean Systems
Bardet, Magali ; Faugère, Jean-Charles ; Salvy, Bruno ; et al.
Journal of Complexity. 29(1):53-75

MSC10: 68W40; 13P10; 13P... ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... I.1.2: Algorithms I.1.2.0: Algebraic algor... I.1.2.1: Analysis of alg...
Journal
Save to List
60

Cumulative Step-size Adaptation on Linear Functions: Technical Report
Chotard, Alexandre, Adrien ; Auger, Anne ; Hansen, Nikolaus ; et al.
[Research Report] Inria Saclay. 2012. :23-23

Optimization Evolution strategies Linear functions Cumulative Step-size ada... CSA-ES ACM: G.: Mathematics of...
Report
Save to List

Filter