|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 828 occurrences of 378 keywords
|
|
|
Results
Found 1880 publication records. Showing 1880 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | W. Dale Brownawell, Chee-Keng Yap |
Lower bounds for zero-dimensional projections. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
chow forms, exact numerical algorithms, nullstellensatz, transcendence theory, zero bounds, exact geometric computation |
1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Computing with abstract matrix structures. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
abstract matrix arithmetic, symbolic computation |
1 | Chee-Keng Yap |
Exact numerical computation in algebra and geometry. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
adaptive complexity analysis, exact numerical computation, explicitization problems, numerical algebraic computation, numerical computational geometry, zero bounds |
1 | Christopher W. Brown 0001 |
Fast simplifications for Tarski formulas. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
tarski formulas, simplification |
1 | Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama |
Computation schemes for splitting fields of polynomials. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
triangular set, splitting field, galois theory |
1 | Ana Romero 0001, Graham Ellis, Julio Rubio 0001 |
Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
group cohomology, kenzo, openmath, interoperability, gap |
1 | Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang |
Computing cylindrical algebraic decomposition via triangular decomposition. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
regular chain, triangular decomposition, cad |
1 | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha |
Algorithms for regular solutions of higher-order linear differential systems. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
frobenius method, higher-order linear differential systems, matrix polynomials, regular formal solutions, computer algebra |
1 | Jeremy R. Johnson, Hyungju Park, Erich L. Kaltofen (eds.) |
Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings |
ISSAC |
2009 |
DBLP BibTeX RDF |
|
1 | B. David Saunders, Bryan S. Youse |
Large matrix, small rank. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
matrix p-rank |
1 | Scott McCallum, Christopher W. Brown 0001 |
On delineability of varieties in CAD-based quantifier elimination with two equational constraints. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
quantifier elimination, cylindrical algebraic decomposition |
1 | Luca De Feo, Éric Schost |
Fast arithmetics in artin-schreier towers over finite fields. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
artin-schreier, algorithms, complexity |
1 | Georg Regensburger, Markus Rosenkranz, Johannes Middeke |
A skew polynomial approach to integro-differential operators. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
baxter algebra, integro-differential algebra, integro-differential operators, skew polynomials, weyl algebra |
1 | Michael B. Monagan, Roman Pearce |
Parallel sparse polynomial multiplication using heaps. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
parallel, polynomial, multiplication, sparse |
1 | Marc Giusti |
A Gröbner free alternative to solving and a geometric analogue to Cook's thesis. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
cook's thesis, solving, algorithms, polynomial |
1 | Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
On factorization of multivariate polynomials over algebraic number and function fields. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
hensel lifting, sparse interpolation, factorization algorithms, algebraic function fields |
1 | Xavier Dahan |
Size of coefficients of lexicographical Groöbner bases: the zero-dimensional, radical and bivariate case. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
gr?bner bases, space complexity, triangular sets |
1 | Bernhard Beckermann, George Labahn |
Fraction-free computation of simultaneous padé approximants. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
fraction-free arithmetic, order bases, rational approximation |
1 | Martin Mevissen, Kosuke Yokoyama, Nobuki Takayama |
Solutions of polynomial systems derived from the steady cavity flow problem. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
finite difference discretization, polynomial optimization, semidefinite programming relaxation, steady cavity flow problem, sparsity |
1 | Jean-Charles Faugère, Ludovic Perret |
High order derivatives and decomposition of multivariate polynomials. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
gröbner basis, multivariate cryptology, public key cryptography, cryptology, algebraic cryptanalysis, f5 algorithm |
1 | Joachim von zur Gathen |
The number of decomposable univariate polynomials. extended abstract. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
combinatorics on polynomials, polynomial decomposition, finite fields, computer algebra |
1 | Jean-Charles Faugère |
Interactions between computer algebra (Gröbner bases) and cryptology. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
gröbner basis, public key, cryptology, algebraic cryptanalysis, multivariate cryptography, f5 algorithm |
1 | Stef Graillat, Philippe Trebuchet |
A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
quotient algebra, normal form, multivariate polynomial, symbolic-numeric computation, root-finding |
1 | Markus Schweighofer |
Describing convex semialgebraic sets by linear matrix inequalities. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
determinantal representation, moment relaxation, polynomial inequality, quadratic module, semialgebraic set, spectrahedron, semidefinite programming, linear matrix inequality, convex set, sums of squares, preordering |
1 | Daniel S. Roche |
Space- and time-efficient polynomial multiplication. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
time-space tradeoff, polynomial multiplication, integer multiplication, space efficiency |
1 | Xin Li 0009, Marc Moreno Maza, Wei Pan 0001 |
Computations modulo regular chains. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
fast polynomial arithmetic, regular chain, regular gcd, polynomial systems, triangular decomposition, subresultants |
1 | Alin Bostan, Éric Schost |
Fast algorithms for differential equations in positive characteristic. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
p-curvature, algorithms, complexity, differential equations, polynomial solutions |
1 | Ivan Morel, Damien Stehlé, Gilles Villard |
H-LLL: using householder inside LLL. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
householder's algorithm, floating-point arithmetic, lattice reduction, lll |
1 | Kurt Mehlhorn, Michael Sagraloff |
Isolating real roots of real polynomials. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
bisection algorithm, bitstream coefficient, descartes' rule of sign, real polynomial, root isolation |
1 | Zhonggang Zeng |
The approximate irreducible factorization of a univariate polynomial: revisited. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
multiplicity, polynomial factoring, ill-posed problems |
1 | Jon González-Sánchez, Laureano González-Vega, Alejandro Piñera-Nicolás, Irene Polo-Blanco, Jorge Caravantes, Ignacio F. Rúa |
Analyzing group based matrix multiplication algorithms. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
groups, fourier transform, matrix multiplication |
1 | Miroslav Halás, Ülle Kotta, Ziming Li 0002, Huaifu Wang, Chunming Yuan |
Submersive rational difference systems and their accessibility. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
inversive closure, rational difference system, reflexive ideals, submersivity, accessibility, transfer function |
1 | Tetsuo Ida |
Symbolic and algebraic methods in computational origami: invited talk. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
gröbner bases, graph rewriting, origami |
1 | Daniel Andres, Viktor Levandovskyy, Jorge Martín-Morales |
Principal intersection and bernstein-sato polynomial of an affine variety. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
bernstein-sato polynomial of variety, initial ideal, intersection with subalgebra, non-commutative gr?bner bases, preimage of ideal, annihilator, d-modules |
1 | Ioannis Z. Emiris, Angelos Mantzaflaris |
Multihomogeneous resultant formulae for systems with scaled support. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
bézout, determinantal formula, maple implementation, multihomogeneous system, resultant matrix, sylvester |
1 | Vladimir P. Gerdt, Mikhail V. Zinin |
A pommaret division algorithm for computing Grobner bases in boolean rings. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
boolean ring, involutive algorithm, pommaret division, groebner basis |
1 | Viktor Levandovskyy, Jorge Martín-Morales |
Computational D-module theory with singular, comparison with other systems and two new algorithms. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
bernstein-sato polynomial, intersection with subalgebra, non-commutative groebner bases, preimage of ideal, annihilator, groebner bases, D-modules |
1 | Songxin Liang, David J. Jeffrey, Marc Moreno Maza |
The complete root classification of a parametric polynomial on an interval. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
complete root classification, parametric polynomial, real quantifier elimination, interval, real root |
1 | Melanie Achatz, Scott McCallum, Volker Weispfenning |
Deciding polynomial-exponential problems. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
exponential polynomials, decision procedure |
1 | Felix Antritter, Jean Lévine |
Towards a computer algebraic algorithm for flat output determination. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
differential flatness, control systems |
1 | Daouda Niang Diatta, Bernard Mourrain, Olivier Ruatta |
On the computation of the topology of a non-reduced implicit space curve. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
generic conditions, sturm-habicht sequence, subresultants sequence, topology computation, algebraic curves, exact geometric computation |
1 | Zhibek Kadyrsizova, Valery G. Romanovski |
Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
the center and linearizability problems, normal forms, ordinary differential equations, polynomial ideals |
1 | Moulay A. Barkatou, Gary Broughton, Eckhard Pflügel |
Regular systems of linear functional equations and applications. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
moser-reduction, super-reduction, systems of linear functional equations, computer algebra, singularities |
1 | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
Symbolic optimization of algebraic functions. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
polynomial spectral factorization, quantifier elimination, parametric optimization, groebner basis |
1 | François Lemaire, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie |
When does (T) equal sat(T)? |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
megasquid, primitivity of polynomials, regular chain, saturated ideal |
1 | Matthias Aschenbrenner, Christopher J. Hillar |
An algorithm for finding symmetric Grobner bases in infinite dimensional rings. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
Grobner basis, invariant ideal, polynomial reduction, algorithm, partial ordering, symmetric group |
1 | Alin Bostan, Frédéric Chyzak, Nicolas Le Roux |
Products of ordinary differential operators by evaluation and interpolation. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
differential operators, fast algorithms |
1 | Xuhui Wang, Falai Chen, Jiansong Deng |
Implicitization and parametrization of quadratic surfaces with one simple base point. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
moving plane, weak u-basis, parametrization, implicitization |
1 | Gregor Kemper |
Algorithmic invariant theory. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
computational commutative algebra, invariant theory |
1 | Dima Grigoriev, Fritz Schwarz |
Loewy decomposition of third-order linear aPDE's in the plane. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
linear partial differential equations, loewy decomposition, factorization |
1 | Markus Rosenkranz, Georg Regensburger |
Integro-differential polynomials and operators. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
green's operators, integro-differential algebras, linear boundary value problems, noncommutative gröbner bases, integral operators |
1 | Manuel Kauers |
Integration of algebraic functions: a simple heuristic for finding the logarithmic part. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
algebraic functions, symbolic integration |
1 | Martin Peternell, Boris Odehnal |
On generalized ln-surfaces in 4-space. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
chordal variety, linear congruence of lines, ln-surface, quadratically parameterized surface, rational parameterization |
1 | Erich L. Kaltofen, Pascal Koiran |
Expressing a fraction of two determinants as a determinant. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
algebraic complexity theory, formula complexity, strassen's removal of divisions, toda's skew circuits, valiant's universality of determinants |
1 | Jean-Charles Faugère, Guillaume Moroz, Fabrice Rouillier, Mohab Safey El Din |
Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
perspective-three-point problem, computer vision, complexity, real solutions, polynomial system solving |
1 | Hongbo Li 0012, Lei Huang |
Complex brackets, balanced complex differences, and applications in symbolic geometric computing. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
bracket algebra, complex numbers method, graph theory, theorem proving, geometric algebra |
1 | Anton Leykin |
Numerical primary decomposition. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
polynomial homotopy continuation, primary decomposition, numerical algebraic geometry, deflation |
1 | Jean-Guillaume Dumas |
Q-adic transform revisited. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
dqt (discrete q-adic transform), fqt (fast q-adic transform), kronecker substitution, modular polynomial multiplication, redq (simultaneous modular reduction), small extension field, finite field |
1 | William A. Stein |
Can we create a viable free open source alternative to magma, maple, mathematica and matlab? |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
free, magma, open source, matlab, maple, mathematica |
1 | Adam W. Strzebonski |
Real root isolation for exp-log functions. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
exp-log functions, real root isolation, solving equations |
1 | J. Rafael Sendra, Laureano González-Vega (eds.) |
Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings |
ISSAC |
2008 |
DBLP BibTeX RDF |
|
1 | Komei Fukuda |
Exact algorithms and software in optimization and polyhedral computation. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
exact implementation, optimization, algorithms, polytopes, convex geometry |
1 | Michael Brickenstein, Alexander Dreyer |
Gröbner-free normal forms for boolean polynomials. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
boolean polynomials, gröbner, interpolation, normal forms |
1 | Adrien Poteaux, Marc Rybowicz |
Good reduction of puiseux series and complexity of the Newton-Puiseux algorithm over finite fields. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
modular methods, puiseux series, complexity, finite fields, algebraic functions, symbolic-numeric algorithms |
1 | Hiroshi Sekigawa |
The nearest polynomial with a zero in a given domain from a geometrical viewpoint. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
davenport-schinzel sequence, l?-norm, polynomial, perturbation, zero |
1 | Madhu Sudan 0001 |
Algebraic algorithms and coding theory. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
algebraic algorithms, error correcting codes |
1 | Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi |
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
validated output, semidefinite programming, hybrid method, sum-of-squares, approximate factorization |
1 | Xiaoli Wu, Lihong Zhi |
Computing the multiplicity structure from geometric involutive form. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
involutive system, numerical linear algebra |
1 | Guénaël Renault, Kazuhiro Yokoyama |
Multi-modular algorithm for computing the splitting field of a polynomial. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
splitting field, galois theory |
1 | Elizabeth L. Mansfield |
Digital atlases and difference forms. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
difference chains, difference forms, lattice variety, local difference potentials, local exactness, symbolic numeric methods, cohomology |
1 | Ekaterina Shemyakova, Elizabeth L. Mansfield |
Moving frames for laplace invariants. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
gauge transformations, partial differential operators, invariants, moving frames |
1 | Itnuit Janovitz-Freireich, Ágnes Szántó, Bernard Mourrain, Lajos Rónyai |
Moment matrices, trace matrices and the radical of ideals. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
matrices of traces, moment matrices, radical ideal, solving polynomial systems |
1 | Massimo Caboara, Fabrizio Caruso, Carlo Traverso |
Gröbner bases for public key cryptography. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
gröbner basis, lattice, public key cryptosystem, hermite normal form |
1 | Eckhard Pflügel |
A rational decomposition-lemma for systems of linear differential-algebraic equations. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
linear daes, splitting lemma, computer algebra, local reduction |
1 | Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap |
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
complete numerical algorithm, evaluation bound, implicit algebraic curve, root bound, meshing, singularity, subdivision algorithm |
1 | Sergei A. Abramov |
Power series and linear difference equations. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
linear difference equation with polynomial coefficients, sequential solution, subanalytic solution, power series |
1 | Alin Bostan, Bruno Salvy, Éric Schost |
Power series composition and change of basis. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
basis conversion, transposed algorithms, fast algorithms, orthogonal polynomials |
1 | Mark Giesbrecht, Daniel S. Roche |
On lacunary polynomial perfect powers. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
black box polynomial, lacunary polynomial, perfect power, sparse polynomial |
1 | Didier Henrion, Michael Sebek |
Plane geometry and convexity of polynomial stability regions. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
control theory, convexity, resultants |
1 | Mohab Safey El Din |
Computing the global optimum of a multivariate polynomial over the reals. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
complexity, global optimization, real solutions, polynomial system solving |
1 | Ruben Debeerst, Mark van Hoeij, Wolfram Koepf |
Solving differential equations in terms of bessel functions. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
generalized exponents, differential equations, bessel functions |
1 | Jesús A. De Loera, Jon Lee 0001, Peter N. Malkin, Susan Margulies |
Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
nullstellensatz |
1 | Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap |
Complete numerical isolation of real zeros in zero-dimensional triangular systems. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
evaluation bound, real zero isolation, sleeve bound, triangular system |
1 | Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost |
Differential equations for algebraic functions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
algebraic series, creative telescoping, differential resolvents, complexity, computer algebra |
1 | Gilles Villard |
Certification of the QR factor R and of lattice basis reducedness. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
lattice basis reducedness, verification algorithm, linear algebra, QR factorization |
1 | Alain Bretto, Luc Gillibert |
G-graphs for the cage problem: a new upper bound. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
G-graphs, cage graphs, graphs from group |
1 | Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
A sparse modular GCD algorithm for polynomials over algebraic function fields. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
GCD algorithms, sparse interpolation, algebraic function fields |
1 | Robert M. Corless, Hui Ding, David J. Jeffrey |
The solution of s exp(s) = a is not always the lambert w function of a. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
lambert w function, matrix function, nonlinear matrix equation |
1 | F. Schwarz |
Loewy decomposition of linear differential equations. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Janet basis, Loewy decomposition, D-module |
1 | Clément Pernet, Arne Storjohann |
Faster algorithms for the characteristic polynomial. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
frobenius normal form, complexity, characteristic polynomial |
1 | John P. May, David Saunders 0002, Zhendong Wan |
Efficient matrix rank computation with application to the study of strongly regular graphs. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
matrix p-rank, out of core methods |
1 | Alin Bostan, Claude-Pierre Jeannerod, Éric Schost |
Solving toeplitz- and vandermonde-like linear systems with large displacement rank. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
structured linear algebra, dense linear algebra |
1 | Marco Bodrato, Alberto Zanoni |
Integer and polynomial multiplication: towards optimal toom-cook matrices. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Karatsuba, integer and polynomial multiplication, toom-cook, interpolation, squaring, matrix inversion |
1 | Vikram Sharma 0001 |
Complexity of real root isolation using continued fractions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Davenport-Mahler bound, descartes rule of signs, polynomial real root isolation, continued fractions |
1 | Raouf Dridi, Michel Petitot |
Towards a new ode solver based on cartan's equivalence method. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
cartan's equivalence method, ode-solver, differential algebra, equivalence problems |
1 | Daniel Kunkle, Gene Cooperman |
Twenty-six moves suffice for Rubik's cube. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Rubik's cube, disk-based methods, fast multiplication, upper bound, permutation groups |
1 | Alexander B. Levin |
Gröbner bases with respect to several term orderings and multivariate dimension polynomials. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Gröbner basis, differential field extension, dimension polynomial, ore polynomials, p-dimensional ltration |
1 | Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi |
Algorithmic differentiation in Axiom. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
algorithmic differentiation, program transformation, axiom, symbolic-numeric computation |
1 | Peter Bürgisser, Peter Scheiblechner |
Differential forms in computational algebraic geometry. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
differential forms, irreducible components, complexity, connected components |
1 | Serena Cicalò, Willem A. de Graaf |
Non-associative gröbner bases, finitely-presented lie rings and the engel condition. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
engel condition, gröbner basis, lie ring |
|
|