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 ] ISSAC, 2007, pp:1-8 [Conf ] Dario Andrea Bini , Paola Boito Structured matrix-based methods for polynomial in-gcd: analysis and comparisons. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:9-16 [Conf ] Marco Bodrato , Alberto Zanoni Integer and polynomial multiplication: towards optimal toom-cook matrices. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:17-24 [Conf ] Alin Bostan , Frédéric Chyzak , Bruno Salvy , Grégoire Lecerf , Éric Schost Differential equations for algebraic functions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:25-32 [Conf ] Alin Bostan , Claude-Pierre Jeannerod , Éric Schost Solving toeplitz- and vandermonde-like linear systems with large displacement rank. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:33-40 [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 ] ISSAC, 2007, pp:41-48 [Conf ] Alain Bretto , Luc Gillibert G-graphs for the cage problem: a new upper bound. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:49-53 [Conf ] Christopher W. Brown , James H. Davenport The complexity of quantifier elimination and cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:54-60 [Conf ] Peter Bürgisser , Peter Scheiblechner Differential forms in computational algebraic geometry. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:61-68 [Conf ] Laurent Busé , Marc Dohm Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:69-76 [Conf ] Jacques Carette A canonical form for piecewise defined functions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:77-84 [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 ] ISSAC, 2007, pp:85-91 [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 ] ISSAC, 2007, pp:92-99 [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 ] ISSAC, 2007, pp:100-107 [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 ] ISSAC, 2007, pp:108-115 [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 ] ISSAC, 2007, pp:116-121 [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 ] ISSAC, 2007, pp:122-126 [Conf ] Dimitrios I. Diochnos , Ioannis Z. Emiris , Elias P. Tsigaridas On the complexity of real solving bivariate systems. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:127-134 [Conf ] Raouf Dridi , Michel Petitot Towards a new ode solver based on cartan's equivalence method. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:135-142 [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 ] ISSAC, 2007, pp:143-150 [Conf ] Arno Eigenwillig , Michael Kerber , Nicola Wolpert Fast and exact geometric analysis of real algebraic plane curves. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:151-158 [Conf ] Mohamed Elkadi , André Galligo Systems of three polynomials with two separated variables. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:159-166 [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 ] ISSAC, 2007, pp:167-174 [Conf ] Luca Gemignani Structured matrix methods for polynomial root-finding. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:175-180 [Conf ] Timo Hanke The isomorphism problem for cyclic algebras and an application. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:181-186 [Conf ] Seyed Mohammad Mahdi Javadi , Michael B. Monagan A sparse modular GCD algorithm for polynomials over algebraic function fields. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:187-194 [Conf ] Jeremy Johnson , Xu Xu Generating symmetric DFTs and equivariant FFT algorithms. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:195-202 [Conf ] Erich Kaltofen , Zhengfeng Yang On exact and approximate interpolation of sparse rational functions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:203-210 [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 ] ISSAC, 2007, pp:211-218 [Conf ] Manuel Kauers , Carsten Schneider Symbolic summation with radical expressions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:219-226 [Conf ] Pramook Khungurn , Hiroshi Sekigawa , Kiyoshi Shirayanagi Minimum converging precision of the QR-factorization algorithm for real polynomial GCD. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:227-234 [Conf ] Daniel Kunkle , Gene Cooperman Twenty-six moves suffice for Rubik's cube. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:235-242 [Conf ] Yosuke Kurata , Masayuki Noro Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:243-250 [Conf ] Alexander B. Levin Gröbner bases with respect to several term orderings and multivariate dimension polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:251-260 [Conf ] Hongbo Li A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:261-268 [Conf ] Xin Li , Marc Moreno Maza , Éric Schost Fast arithmetic for triangular sets: from theory to practice. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:269-276 [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 ] ISSAC, 2007, pp:277-284 [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 ] ISSAC, 2007, pp:285-292 [Conf ] Izumi Miyamoto A computation of some multiply homogeneous superschemes from transitive permutation groups. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:293-298 [Conf ] Katsusuke Nabeshima A speed-up of the algorithm for computing comprehensive Gröbner systems. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:299-306 [Conf ] Clément Pernet , Arne Storjohann Faster algorithms for the characteristic polynomial. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:307-314 [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 ] ISSAC, 2007, pp:315-322 [Conf ] James Ruffo A straightening law for the Drinfel'd Lagrangian Grassmannian. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:323-330 [Conf ] Hiroshi Sekigawa On real factors of real interval polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:331-338 [Conf ] Vikram Sharma Complexity of real root isolation using continued fractions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:339-346 [Conf ] Jacob Smith , Gabriel Dos Reis , Jaakko Järvi Algorithmic differentiation in Axiom. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:347-354 [Conf ] Mark van Hoeij Solving third order linear differential equations in terms of second order equations. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:355-360 [Conf ] Gilles Villard Certification of the QR factor R and of lattice basis reducedness. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:361-368 [Conf ] Joachim von zur Gathen Counting reducible and singular bivariate polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:369-376 [Conf ] Wenyuan Wu , Greg Reid Symbolic-numeric computation of implicit riquier bases for PDE. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:377-386 [Conf ] David A. Cox Gröbner bases: a sampler of recent developments. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:387-388 [Conf ] F. Schwarz Loewy decomposition of linear differential equations. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:389-390 [Conf ] Gilles Villard Some recent progress in exact linear algebra and related questions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2007, pp:391-392 [Conf ]