|
|
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 | David A. Cox 0001 |
Gröbner bases: a sampler of recent developments. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Gröbner bases, elimination theory |
1 | Dongming Wang 0001 (eds.) |
Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings |
ISSAC |
2007 |
DBLP BibTeX RDF |
|
1 | Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas |
On the complexity of real solving bivariate systems. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
real algebraic number, realsolving, topology of real algebraic curve, maple, polynomial system |
1 | Erich L. Kaltofen, Zhengfeng Yang |
On exact and approximate interpolation of sparse rational functions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
hybrid symbolic-numeric computation, rational vector recovery, sparse rational function interpolation, lattice basis reduction, early termination |
1 | Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann |
A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
multiprecision arithmetic, integer multiplication |
1 | Xin Li 0009, Marc Moreno Maza, Éric Schost |
Fast arithmetic for triangular sets: from theory to practice. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
high-performance, multiplication, triangular set |
1 | Mohamed Elkadi, André Galligo |
Systems of three polynomials with two separated variables. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
bezoutian, bivariate resultants, bivariate subresultant, intersection problem, structured matrix, sylvester matrix, system with separated variables, algorithms, CAGD |
1 | Robert M. Corless, Dawit Assefa |
Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
elliptic functions, integration |
1 | Jacques Carette |
A canonical form for piecewise defined functions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
piecewise, normal form, canonical form |
1 | Luca Gemignani |
Structured matrix methods for polynomial root-finding. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
polynomial root-finding, rank-structured matrices, complexity, eigenvalue computation |
1 | Dario Andrea Bini, Paola Boito |
Structured matrix-based methods for polynomial in-gcd: analysis and comparisons. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
bézout matrix, cauchy matrices, displacement structure, polynomial gcd, sylvester matrix |
1 | Mark van Hoeij |
Solving third order linear differential equations in terms of second order equations. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
reduction of order, linear differential equations |
1 | Joachim von zur Gathen |
Counting reducible and singular bivariate polynomials. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
bivariate polynomials, combinatorics on polynomials, reducible polynomials, singular polynomials, finite fields, counting problems |
1 | Laurent Busé, Marc Dohm |
Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
approximation complexes, linear syzygies, implicitization |
1 | Izumi Miyamoto |
A computation of some multiply homogeneous superschemes from transitive permutation groups. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
bio-operations, nonassociative algebra, polynomial identities, finite fields, formal languages, DNA computing, computer algebra, linear systems |
1 | Yosuke Kurata, Masayuki Noro |
Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
comprehensive gröbner bases, comprehensive gröbner systems, discrete comprehensive gröbner bases, dynamic evaluation, modular dynamic evaluation, von neumann regular rings |
1 | Timo Hanke |
The isomorphism problem for cyclic algebras and an application. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
abelian crossed product, bicyclic crossed product, cyclic algebra, extension of automorphism, finite-dimensional central-simple algebra, noncrossed product, norm equation, isomorphism problem |
1 | Katsusuke Nabeshima |
A speed-up of the algorithm for computing comprehensive Gröbner systems. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Gröbner bases, comprehensive Gröbner bases |
1 | Arno Eigenwillig, Michael Kerber, Nicola Wolpert |
Fast and exact geometric analysis of real algebraic plane curves. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
descartes method, sturm-habicht sequence, topology computation, algebraic curves, exact geometric computation, cylindrical algebraic decomposition |
1 | Gilles Villard |
Some recent progress in exact linear algebra and related questions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Sekigawa |
On real factors of real interval polynomials. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
interval polynomial, factor, divisibility, polytope |
1 | Hongbo Li 0012 |
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
null bracket algebra, symbolic geometric computing, geometric invariance, geometric theorem proving, conformal geometric algebra |
1 | Elena S. Dimitrova, Abdul Salam Jarrah, Reinhard C. Laubenbacher, Brandilyn Stigler |
A Gröbner fan method for biochemical network modeling. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
gröbner bases, gröbner fan, monomial orderings, polynomial dynamical systems, reverse engineering, model selection, computational algebra, network inference |
1 | Eric Robinson, Jürgen Müller 0004, Gene Cooperman |
A disk-based parallel implementation for direct condensation of large permutation modules. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Brauer trees, disk-based computation, sporadic Fischer group, parallel computation, condensation, permutation groups, matrix groups |
1 | Moulay A. Barkatou, Eckhard Pflügel |
Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
local analysis of linear differential systems, moser-reduction, super-reduction, computer algebra, singularities |
1 | P. Mihailescu, François Morain, Éric Schost |
Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
SEA algorithm, finite fields, elliptic curves |
1 | Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard |
Faster inversion and other black box matrix computations using efficient block projections. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
black box linear algebra, linear system solving, sparse integer matrix, structured integer matrix |
1 | Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shirayanagi |
Minimum converging precision of the QR-factorization algorithm for real polynomial GCD. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
algebraic algorithm stabilization, polynomial greatest common divisor |
1 | Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima |
Time-and space-efficient evaluation of some hypergeometric constants. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
high-precision evaluation, hypergeometric constants |
1 | Wenyuan Wu, Greg Reid |
Symbolic-numeric computation of implicit riquier bases for PDE. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
implicit function theorem, jet spaces, riquier bases, linear programming, ranking, partial differential equation, numerical algebraic geometry |
1 | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Gröbner basis, polynomial spectral factorization, H2 control, sum of roots, quantifier elimination, parametric optimization |
1 | Manuel Kauers, Carsten Schneider |
Symbolic summation with radical expressions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
difference fields, square roots, algebraic functions, symbolic summation |
1 | Christopher W. Brown 0001, James H. Davenport |
The complexity of quantifier elimination and cylindrical algebraic decomposition. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
quantifier elimination, cylindrical algebraic decomposition |
1 | Jeremy Johnson 0001, Xu Xu |
Generating symmetric DFTs and equivariant FFT algorithms. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
group symmetries, multi-dimensional discrete fourier transform, code generation, fast Fourier transform, matrix factorization |
1 | James Ruffo |
A straightening law for the Drinfel'd Lagrangian Grassmannian. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
Drinfel'd agvarieties quasimaps, algebras with straightening law |
1 | Pierrick Gaudry, François Morain |
Fast algorithms for computing the eigenvalue in the Schoof-Elkies-Atkin algorithm. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
SEA algorithm, point counting, elliptic curves |
1 | Li Guo 0003, William Y. Sit |
Enumeration of Rota-Baxter words. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Rota-Baxter algebras, Rota-Baxter words, catalan numbers, compositions, generating functions |
1 | Arash Farzan, J. Ian Munro |
Succinct representation of finite abelian groups. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
space-efficient representation, finite group, succinct data structure, abelian group |
1 | Arthur D. Chtcherba, Deepak Kapur |
Conditions for determinantal formula for resultant of a polynomial system. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Bézoutian, Dixon, dialytic, rank submatrix construction, resultant matrix, resultant |
1 | Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard |
Solving sparse rational linear systems. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
linear system solving, sparse integer matrix, structured matrix |
1 | Michael Harrison, Josef Schicho |
Rational parametrisation for degree 6 Del Pezzo surfaces using lie algebras. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Moroz |
Complexity of the resolution of parametric systems of polynomial equations and inequations. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
discriminant variety, parametric polynomial system, complexity, elimination |
1 | Manuel Kauers, Carsten Schneider |
Application of unspecified sequences in symbolic summation. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
difference fields, symbolic summation |
1 | Hirotachi Abo, Chris Peterson 0001 |
Implementation of Kumar's correspondence. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Kumar correspondence, Quillen-Suslin theorem, Serre conjecture, nilpotent endomorphism, vector bundle |
1 | Daniel Lazard |
Solving Kaltofen's challenge on Zolotarev's approximation problem. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Lihong Zhi |
Hybrid symbolic-numeric computation. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
symbolic/numeric hybrid methods |
1 | Marc Moreno Maza |
Triangular decompositions of polynomial systems: from theory to practice. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Izumi Miyamoto |
An improvement of GAP normalizer function for permutation groups. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ziming Li 0002, Michael F. Singer, Min Wu 0003, Dabin Zheng |
A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Laurent-Ore algebras, associated systems, hyperexponential solutions, one-dimensional submodules |
1 | Joris van der Hoeven |
Effective real numbers in Mmxlib. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Meng Zhou 0001, Franz Winkler 0001 |
Gröbner bases in difference-differential modules. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Gröbner basis, difference and differential operators |
1 | William J. Turner |
A block Wiedemann rank algorithm. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
black box linear algebra, block Wiedemann method, power Hermite-Padé approximation, rank algorithm |
1 | Sergei A. Abramov |
On the summation of P-recursive sequences. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
P-recursive sequence, Gosper's algorithm, accurate summation algorithm, discrete Newton-Leibniz formula, hypergeometric term |
1 | Rosario Rubio San Miguel, J. Miguel Serradilla, M. Pilar Vélez |
A note on implicitization and normal parametrization of rational curves. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
generalized resultants, normal parametrizations, rational curves, implicitization |
1 | Erich L. Kaltofen, Pascal Koiran |
Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Lang conjecture, lacunary polynomials, multivariate polynomials, polynomial-time complexity, polynomial factorization, sparse polynomials, height, algebraic numbers |
1 | Masayuki Noro |
Modular dynamic evaluation. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Phelim Boyle, Alex Potapchik |
Application of high-precision computing for pricing arithmetic asian options. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Le Roux, Moulay A. Barkatou |
Rank reduction of a class of pfaffian systems in two variables. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Levelt algorithm, Pfaffian systems, Poincaré rank |
1 | Sara Khodadad, Michael B. Monagan |
Fast rational function reconstruction. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
fast Euclidean algorithm, rational reconstruction, modular algorithms |
1 | Alan P. Sexton, Volker Sorge |
Abstract matrices in symbolic computation. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
underspecified matrices, constraints, semantic analysis |
1 | Howard Cheng, George Labahn |
On computing polynomial GCDs in alternate bases. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Krylov matrices, fraction-free arithmetic, orthogonal polynomials, euclidean algorithm, subresultants |
1 | Guénaël Renault |
Computation of the splitting field of a dihedral polynomial. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
triangular set, splitting field, Galois theory, dihedral group |
1 | Santiago Laplagne |
An algorithm for the computation of the radical of an ideal. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
primary decomposition, algorithms, complexity, polynomial ideal, radical |
1 | Eric Robinson, Gene Cooperman |
A parallel architecture for disk-based computing over the Baby Monster and other large finite simple groups. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Baby Monster group, disk-based methods, parallel computation, group membership, permutation groups, matrix groups |
1 | Hennie Poulisse |
Computational communicative algebra. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
approximate commutative algebra |
1 | Joachim von zur Gathen |
Who was who in polynomial factorization: 1. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
history, polynomial factorization |
1 | Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó |
Approximate radical of ideals with clusters of roots. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan, Roman Pearce |
Rational simplification modulo a polynomial ideal. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
field of fractions, quotient ring, rational expression, side relations, simplification, Groebner Bases |
1 | Etienne Farcot |
Symbolic numeric analysis of attractors in randomly generated piecewise affine models of gene networks. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
piecewise affine dynamical systems, biological networks, symbolic-numeric algorithms |
1 | Akpodigha Filatei, Xin Li 0009, Marc Moreno Maza, Éric Schost |
Implementation techniques for fast polynomial arithmetic in a high-level programming environment. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Aldor, polynomials, high-performance, Axiom |
1 | Alin Bostan, Frédéric Chyzak, Bruno Salvy, Thomas Cluzeau |
Low complexity algorithms for linear recurrences. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
creative telescoping, polynomial and rational solutions, summation, complexity, computer algebra, linear recurrences |
1 | Christiaan E. van de Woestijne |
Surface parametrisation without diagonalisation. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
parametrisation, rational surfaces, quadratic forms |
1 | Mark Giesbrecht, George Labahn, Wen-shin Lee |
Symbolic-numeric sparse interpolation of multivariate polynomials. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
symbolic-numeric computing, multivariate interpolation |
1 | Hiroshi Sekigawa, Kiyoshi Shirayanagi |
Locating real multiple zeros of a real interval polynomial. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
interval polynomial, real multiple zero, convex set |
1 | Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi |
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
approximate multiple root, approximate polynomial gcd, multivariate polynomial gcd, singular polynomial, linear constraint, symbolic/numeric hybrid method |
1 | Victoria Powers, Bruce Reznick |
A quantitative Pólya's Theorem with corner zeros. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Pólya's Theorem, positive polynomials, sums of squares |
1 | Viktor Levandovskyy |
Intersection of ideals with non-commutative subalgebras. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
homomorphism of algebras, intersection with subalgebra, non-commutative algebra, preimage of ideal, restriction, elimination, Groebner bases |
1 | Jonathan M. Borwein, Chris H. Hamilton |
Symbolic computation of multidimensional Fenchel conjugates. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Fenchel conjugate, Legendre-Fenchel transform, computer proofs, inequalities, subdifferential, subgradient |
1 | Anna Maria Bigatti, Lorenzo Robbiano |
CoCoA: a system for computations in commutative algebra. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Wenyuan Wu, Greg Reid |
Application of numerical algebraic geometry and numerical linear algebra to PDE. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
involutive systems, jet spaces, numeric jet geometry, polynomial matrix, SVD, partial differential equations, numerical linear algebra, numerical algebraic geometry |
1 | Christopher Umans |
Group-theoretic algorithms for matrix multiplication. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
matrix multiplication, finite groups, representation theory |
1 | Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov |
High-performance implementations of the Descartes method. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Bernstein bases, Descartes, Taylor shift, de Casteljau, polynomial real root isolation, register tiling, high-performance computing, code generation, performance tuning |
1 | Xiao-Shan Gao, Chun-Ming Yuan |
Resolvent systems of difference polynomial ideals. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
difference ascending chain, difference polynomial, difference variety, unmixed decomposition, resolvent |
1 | Akira Suzuki, Yosuke Sato |
A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Gröbner basis, Gröbner system, comprehensive Gröbner basis |
1 | Manfred Minimair |
Resultants of skewly composed polynomials. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
composed polynomial, skewly composed, composition, resultant |
1 | Barry M. Trager (eds.) |
Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings |
ISSAC |
2006 |
DBLP BibTeX RDF |
|
1 | Cyril Pascal, Éric Schost |
Change of order for bivariate triangular sets. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
change of order, triangular sets |
1 | Arno Eigenwillig, Vikram Sharma 0001, Chee-Keng Yap |
Almost tight recursion tree bounds for the Descartes method. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Davenport-Mahler bound, Descartes method, Descartes rule of signs, polynomial real root isolation, Bernstein basis |
1 | Max Neunhöffer, Ákos Seress |
A data structure for a uniform approach to computations with finite groups. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
black-box group, computational group theory, constructive membership, large-base group, matrix group algorithm, permutation group algorithm, GAP |
1 | Wei Pan, Dongming Wang 0001 |
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Buchberger graph, consistency condition, parametric exponent, uniform Gröbner basis, biological modeling, polynomial ideal |
1 | Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan |
Efficient computation of the characteristic polynomial. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
Keller-Gehrig, Magma, finite field, probabilistic algorithm, characteristic polynomial, integer, minimal polynomial |
1 | Barry H. Dayton, Zhonggang Zeng |
Computing the multiplicity structure in solving polynomial systems. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
multiplicity, polynomial ideal, dual space |
1 | J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao |
Algebraic general solutions of algebraic ordinary differential equations. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
Hermite-Padé approximants, algebraic differential equation, algebraic general solution, first order autonomous ODE, algebraic curve |
1 | Christopher W. Brown 0001, Scott McCallum |
On using bi-equational constraints in CAD construction. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
CAD, polynomial systems |
1 | Sergey P. Tsarev |
Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
complete solutions, systems of linear PDEs, factorization |
1 | Manuel Kauers (eds.) |
Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings |
ISSAC |
2005 |
DBLP BibTeX RDF |
|
1 | Mark van Hoeij, Jacques-Arthur Weil |
Solving second order linear differential equations with Klein's theorem. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Boucher |
Non complete integrability of a magnetic satellite in circular orbit. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lu Yang, Zhenbing Zeng |
An open problem on metric invariants of tetrahedra. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
manifold solution, metric invariant, tetrahedron, distance geometry |
|
|