Computing Super-Irreducible Forms of Systems of Linear Differential Equations via Moser-Reduction: A New Approach
Moulay Barkatou,
Pflügel Eckhard
Structured matrix based methods for polynomial epsilon-GCD: analysis and comparisons
Dario Andrea Bini,
Paola Boito
Solving Toeplitz- and Vandermonde-like linear systems with Displacement rank
Alin Bostan,
Claude-Pierre Jeannerod,
Éric Schost
Differential Equations for Algebraic Functions
Alin Bostan,
Frederic Chyzak,
Bruno Salvy,
Grègoire Lecerf,
Éric Schost
Nonassociative structures on polynomial algebras arising from bio-operations on formal languages
Murray R. Bremner,
Michael J. Hancock,
Yunfeng Piao
The Complexity of Quantifier Elimination and Cylindrical Algebraic Decomposition
Christopher Brown,
James H. Davenport
Differential Forms in Computational Algebraic Geometry
Peter Burgisser,
Peter Scheiblechner
Implicitization of bi-homogeneous parametrizations of algebraic surfaces via linear syzygies
Laurent Buse,
Marc Dohm
A canonical form for some piecewise defined functions
Jacques Carette
Time- and space-efficient evaluation of some hypergeometric constants
Howard Cheng,
Guillaume Hanrot,
Emmanuel Thome,
Eugene Zima,
Paul Zimmermann
Complete Numerical Isolation of Real Zeros in General Triangular Systems
Jin-San Cheng,
Xiao-Shan Gao,
Chee Yap
Non-associative Groebner bases, finitely-presented Lie rings and the Engel condition
Serena Cicalo,
Willem de Graaf
A Case Study of Elliptic Functions in a CAS: Jeffery-Hamel Flow with Maple
Rob Corless,
Dawit Assefa
The solution of W exp W = A is not always LambertW(A)
Rob Corless,
H. Ding,
David J. Jeffrey
A Groebner Fan-based Method for Biochemical Network
Elena Dimitrova,
Abdul Salam Jarrah,
Reinhard Laubenbacher,
Brandilyn Stigler
On the complexity of real solving bivariate systems
Dimitrios I. Diochnos,
Ioannis Z. Emiris,
Elias P. Tsigaridas
Towards a New ODE Solver Based on Cartan's Equivalence Method
Raouf Dridi,
Michel Petitot
Faster Inversion and other Black Box Matrix Computation Using Efficient Block Projections
Wayne Eberly,
Mark Giesbrecht,
Pascal Giorgi,
Arne Storjohann,
Gilles Villard
Fast and Exact Geometric Analysis of Real Algebraic Plane Curves
Arno Eigenwillig,
Michael Kerber,
Nicola Wolpert
Systems of three polynomials with two separated variables
Mohamed Elkadi,
André Galligo
Counting bivariate polynomials: reducible, exceptional, and singular ones
Joachim von zur Gathen
A GMP-based implementation of Schönhage-Strassen's large integer multiplication algorithm
Pierrick Gaudry,
Alexander Kruppa,
Paul Zimmermann
Structured matrix methods for polynomial root-finding
Luca Gemignani
G-graphs for the Cage Problem: A New Upper Bound
Luc Gillibert,
Alain Bretto
The isomorphism problem for cyclic algebras and application
Timo Hanke
Solving Third Order Linear Differential Equations in Terms of Second Order Equations
Mark van Hoeij
A Sparse Modular GCD Algorithm for Polynomials over Algebraic Function Fields
Seyed Mohammad Mahdi Javadi,
Michael Monagan
Generating Symmetric DFTs and Equivariant FFT Algorithms
Jeremy Johnson,
Xu Xu
On Exact and Approximate Interpolation of Sparse Rational Functions
Erich Kaltofen,
Zhengfeng Yang
Parametric Optimization in Control Using the Sum of Roots for Parametric Polynomial Spectral Factorization
Masaaki Kanno,
Hirokazu Anai,
Shinji Hara,
Kazuhiro Yokoyama
Symbolic Summation with Radical Expressions
Manuel Kauers,
Carsten Schneider
Minimum Converging Precision of the QR-Factorization Algorithm for Real Polynomial GCD
Pramook Khungurn,
Hiroshi Sekigawa,
Kiyoshi Shirayanagi
Towards the Optimal Bound for Solutions to Rubik's Cube
Daniel Kunkle,
Gene Cooperman
Computation of Discrete Comprehensive Gröbner Bases using Modular Dynamic Evaluation
Yosuke Kurata,
Masayuki Noro
Gröbner Bases with respect to Several Term Orderings and Multivariate Dimension Polynomials
Alexander Levin
A Recipe for Symbolic Geometric Computing: Long Geometric Product
Hongbo Li
Efficient Matrix Rank Computation with Application to The Study of Strongly Regular Graphs
John P. May,
David Saunders,
Zhendong Wan
Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts
Preda Mihailescu,
Francois Morain,
Éric Schost
A computation of some multiply homogeneous superschemes from transitive permutation groups
Izumi Miyamoto
Fast Arithmetic for Triangular Sets: From Theory to Practice
Marc Moreno Maza,
Éric Schost,
Xin Li
A Speed-Up of the Algorithm for Computing Comprehensive Groebner Systems
Katsusuke Nabeshima
Faster algorithms for the characteristic polynomial
Clement Pernet,
Arne Storjohann
A Disk-Based Parallel Implementation for Direct Condensation of Large Permutation Modules
Eric Robinson,
Gene Cooperman,
Jürgen Müller
A straightening law for the Drinfel'd Lagrangian Grassmannian
James Ruffo
On Real Factors of Real Interval Polynomials
Hiroshi Sekigawa
Complexity of Real Root Isolation Using Continued Fractions
Vikram Sharma
Algorithmic Differentiation in Axiom
Jacob Smith,
Gabriel Dos Reis,
Jaakko Järvi
Certification of the QR factor R, and of lattice basis reducedness
Gilles Villard
Symbolic-numeric Computation of Implicit Riquier Bases for PDE
Wenyuan Wu,
Greg Reid
Integer and Polynomial Multiplication: Towards Optimal Toom-Cook Matrices
Alberto Zanoni,
Marco Bodrato
