Conferences in DBLP
Moulay A. Barkatou , Eckhard Pflügel Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach. [Citation Graph (0, 0)][DBLP ] Conf ] Dario Andrea Bini , Paola Boito Structured matrix-based methods for polynomial in-gcd: analysis and comparisons. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bodrato , Alberto Zanoni Integer and polynomial multiplication: towards optimal toom-cook matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Alin Bostan , Frédéric Chyzak , Bruno Salvy , Grégoire Lecerf , Éric Schost Differential equations for algebraic functions. [Citation Graph (0, 0)][DBLP ] Conf ] Alin Bostan , Claude-Pierre Jeannerod , Éric Schost Solving toeplitz- and vandermonde-like linear systems with large displacement rank. [Citation Graph (0, 0)][DBLP ] Conf ] Murray R. Bremner , Michael J. Hancock , Yunfeng Piao Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Bretto , Luc Gillibert G-graphs for the cage problem: a new upper bound. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher W. Brown , James H. Davenport The complexity of quantifier elimination and cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bürgisser , Peter Scheiblechner Differential forms in computational algebraic geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Busé , Marc Dohm Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Carette A canonical form for piecewise defined functions. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Cheng , Guillaume Hanrot , Emmanuel Thomé , Paul Zimmermann , Eugene V. Zima Time-and space-efficient evaluation of some hypergeometric constants. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-San Cheng , Xiao-Shan Gao , Chee-Keng Yap Complete numerical isolation of real zeros in zero-dimensional triangular systems. [Citation Graph (0, 0)][DBLP ] Conf ] Serena Cicalò , Willem A. de Graaf Non-associative gröbner bases, finitely-presented lie rings and the engel condition. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Corless , Dawit Assefa Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Corless , Hui Ding , David J. Jeffrey The solution of s exp(s ) = a is not always the lambert w function of a . [Citation Graph (0, 0)][DBLP ] Conf ] Elena S. Dimitrova , Abdul Salam Jarrah , Reinhard C. Laubenbacher , Brandilyn Stigler A Gröbner fan method for biochemical network modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitrios I. Diochnos , Ioannis Z. Emiris , Elias P. Tsigaridas On the complexity of real solving bivariate systems. [Citation Graph (0, 0)][DBLP ] Conf ] Raouf Dridi , Michel Petitot Towards a new ode solver based on cartan's equivalence method. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Eberly , Mark Giesbrecht , Pascal Giorgi , Arne Storjohann , Gilles Villard Faster inversion and other black box matrix computations using efficient block projections. [Citation Graph (0, 0)][DBLP ] Conf ] Arno Eigenwillig , Michael Kerber , Nicola Wolpert Fast and exact geometric analysis of real algebraic plane curves. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Elkadi , André Galligo Systems of three polynomials with two separated variables. [Citation Graph (0, 0)][DBLP ] Conf ] Pierrick Gaudry , Alexander Kruppa , Paul Zimmermann A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Gemignani Structured matrix methods for polynomial root-finding. [Citation Graph (0, 0)][DBLP ] Conf ] Timo Hanke The isomorphism problem for cyclic algebras and an application. [Citation Graph (0, 0)][DBLP ] Conf ] Seyed Mohammad Mahdi Javadi , Michael B. Monagan A sparse modular GCD algorithm for polynomials over algebraic function fields. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Johnson , Xu Xu Generating symmetric DFTs and equivariant FFT algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen , Zhengfeng Yang On exact and approximate interpolation of sparse rational functions. [Citation Graph (0, 0)][DBLP ] Conf ] Masaaki Kanno , Kazuhiro Yokoyama , Hirokazu Anai , Shinji Hara Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Kauers , Carsten Schneider Symbolic summation with radical expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Pramook Khungurn , Hiroshi Sekigawa , Kiyoshi Shirayanagi Minimum converging precision of the QR-factorization algorithm for real polynomial GCD. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Kunkle , Gene Cooperman Twenty-six moves suffice for Rubik's cube. [Citation Graph (0, 0)][DBLP ] Conf ] Yosuke Kurata , Masayuki Noro Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander B. Levin Gröbner bases with respect to several term orderings and multivariate dimension polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Hongbo Li A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Li , Marc Moreno Maza , Éric Schost Fast arithmetic for triangular sets: from theory to practice. [Citation Graph (0, 0)][DBLP ] Conf ] John P. May , B. David Saunders , Zhendong Wan Efficient matrix rank computation with application to the study of strongly regular graphs. [Citation Graph (0, 0)][DBLP ] Conf ] P. Mihailescu , François Morain , Éric Schost Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts. [Citation Graph (0, 0)][DBLP ] Conf ] Izumi Miyamoto A computation of some multiply homogeneous superschemes from transitive permutation groups. [Citation Graph (0, 0)][DBLP ] Conf ] Katsusuke Nabeshima A speed-up of the algorithm for computing comprehensive Gröbner systems. [Citation Graph (0, 0)][DBLP ] Conf ] Clément Pernet , Arne Storjohann Faster algorithms for the characteristic polynomial. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Robinson , Jürgen Müller , Gene Cooperman A disk-based parallel implementation for direct condensation of large permutation modules. [Citation Graph (0, 0)][DBLP ] Conf ] James Ruffo A straightening law for the Drinfel'd Lagrangian Grassmannian. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Sekigawa On real factors of real interval polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Vikram Sharma Complexity of real root isolation using continued fractions. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob Smith , Gabriel Dos Reis , Jaakko Järvi Algorithmic differentiation in Axiom. [Citation Graph (0, 0)][DBLP ] Conf ] Mark van Hoeij Solving third order linear differential equations in terms of second order equations. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Villard Certification of the QR factor R and of lattice basis reducedness. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim von zur Gathen Counting reducible and singular bivariate polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Wenyuan Wu , Greg Reid Symbolic-numeric computation of implicit riquier bases for PDE. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Cox Gröbner bases: a sampler of recent developments. [Citation Graph (0, 0)][DBLP ] Conf ] F. Schwarz Loewy decomposition of linear differential equations. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Villard Some recent progress in exact linear algebra and related questions. [Citation Graph (0, 0)][DBLP ] Conf ] 