Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Arne Storjohann, Shiyun Yang |
A Relaxed Algorithm for Online Matrix Inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 339-346, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erdal Imamoglu, Mark van Hoeij |
Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 235-242, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus Rosenkranz, Nitin Serwa |
Green's Functions for Stieltjes Boundary Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 315-321, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Didier Clamond, Denys Dutykh, André Galligo |
Computer Algebra Applied to a Solitary Waves Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 125-132, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan |
Computing the Rank Profile Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 149-156, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Shinichi Tajima |
Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 291-298, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Daniel S. Roche |
Output-Sensitive Algorithms for Sumset and Sparse Polynomial Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 29-36, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Feng Guo 0007, Mohab Safey El Din, Chu Wang, Lihong Zhi |
Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 205-212, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Didier Henrion, Simone Naldi, Mohab Safey El Din |
Real Root Finding for Rank Defects in Linear Hankel Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 221-228, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Veronika Pillwein |
An Introduction to Finite Element Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015, pp. 19-20, 2015, ACM, 978-1-4503-3435-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Ziegler |
Tame decompositions and collisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 421-428, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai |
Mathematics by machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 1-8, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Daniel S. Roche |
Multivariate sparse interpolation using randomized Kronecker substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 35-42, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz |
Sparse Gröbner bases: the unmixed case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 178-185, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Sturmfels |
Maximum likelihood for matrices with rank constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 17, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Georg Grasegger |
Radical solutions of first order autonomous algebraic ordinary differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 217-223, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault |
Sub-cubic change of ordering for Gröbner basis: a probabilistic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 170-177, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | François Le Gall |
Powers of tensors and fast matrix multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 296-303, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Raimundas Vidunas |
Root counts of semi-mixed systems, and an application to counting nash equilibria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 154-161, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Erich L. Kaltofen |
Essentially optimal interactive certificates in linear algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 146-153, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bläser, Gorav Jindal |
A new deterministic algorithm for sparse multivariate polynomial interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 51-58, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca De Feo, Javad Doliskani, Éric Schost |
Fast arithmetic for the algebraic closure of finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 122-129, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Mark Giesbrecht, Daniel S. Roche |
Sparse interpolation over finite fields via low-order roots of unity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 27-34, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | J. Rafael Sendra, David Sevilla, Carlos Villarino |
Covering of surfaces parametrized without projective base points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 375-380, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Zhengfeng Yang |
Sparse multivariate function recovery with a high error rate in the evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 280-287, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Grenet |
Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 224-231, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Burger |
Solving higher order linear differential equations having elliptic function coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 83-90, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
A generalized Apagodu-Zeilberger algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 107-114, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mitsushi Fujimoto |
How to develop a mobile computer algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 20, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Suzy S. Maddah, Moulay A. Barkatou, Hassan Abbas |
Formal solutions of a class of Pfaffian systems in two variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 312-319, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David R. Stoutemyer |
Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 9-16, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier |
Improved algorithm for computing separating linear forms for bivariate systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 75-82, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Hauenstein, Ian Haywood, Alan C. Liddell Jr. |
An a posteriori certification algorithm for Newton homotopies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 248-255, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Jonathan Kausch |
Logspace computations in graph products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 138-145, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Thierry Combot, Mohab Safey El Din |
Computing necessary integrability conditions for planar parametrized homogeneous potentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 67-74, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lingchuan Meng, Jeremy Johnson 0001 |
High performance implementation of the TFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 328-334, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Clément Pernet |
Sparse polynomial interpolation codes and their decoding beyond half the minimum distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 272-279, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Shinichi Tajima |
On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 351-358, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Minimair |
Randomized detection of extraneous factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 335-342, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Hoon Hong |
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 162-169, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler 0001, Ágnes Szántó (eds.) |
International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM, 978-1-4503-2501-1 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Arne Storjohann, Shiyun Yang |
Linear independence oracles and applications to rectangular and low rank linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 381-388, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhou 0029, George Labahn |
Unimodular completion of polynomial matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 413-420, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | François Le Gall |
Algebraic complexity theory and matrix multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 23, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jingjun Han, Liyun Dai, Bican Xia |
Constructing fewer open cells by GCD computation in CAD projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 240-247, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless, David J. Jeffrey, Fei Wang |
The asymptotic analysis of some interpolated nonlinear recurrence relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 115-121, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sagraloff |
A near-optimal algorithm for computing real roots of sparse polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 359-366, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Suzy S. Maddah, Moulay A. Barkatou, Hassan Abbas |
On the reduction of singularly-perturbed linear differential systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 320-327, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski |
Cylindrical algebraic decomposition using local projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 389-396, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Marc Moreno Maza |
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 91-98, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Johansson 0001 |
Evaluating parametric holonomic sequences using rectangular splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 256-263, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven |
Faster relaxed multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 405-412, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Vaccon |
Matrix-F5 algorithms over finite-precision complete discrete valuation fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 397-404, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daouda Niang Diatta, Fabrice Rouillier, Marie-Françoise Roy |
On the computation of the topology of plane curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 130-137, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hirokazu Anai |
Effective quantifier elimination for industrial applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 18-19, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Carlos E. Arreche |
Computing the differential Galois group of a parameterized second-order linear differential equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 43-50, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Mourrain, Philippe Trébuchet |
Toric border basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 343-350, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Saruchi, Ivan Morel, Damien Stehlé, Gilles Villard |
LLL reducing with the most significant bits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 367-374, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Ruyong Feng, Ziming Li 0002, Michael F. Singer |
Parallel telescoping and parameterized Picard-Vessiot theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 99-106, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy |
Factoring linear differential operators in n variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 194-201, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Romain Lebreton |
Online order basis algorithm and its impact on the block Wiedemann algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 202-209, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers |
Bounds for D-finite closure properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 288-295, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth Gross, Jose Israel Rodriguez |
Maximum likelihood geometry in the presence of data zeros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 232-239, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kahle, Robert Krone, Anton Leykin |
Equivariant lattice generators and Markov bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 264-271, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Xavier Caruso, Éric Schost |
A fast algorithm for computing the characteristic polynomial of the p-curvature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 59-66, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Goto |
Introduction to max-plus algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 21-22, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Li 0012, Changpeng Shao, Lei Huang, Yue Liu |
Reduction among bracket polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 304-311, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hidefumi Ohsugi |
Gröbner bases of toric ideals and their application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 24, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lihong Zhi |
Symbolic-numeric algorithms for computing validated results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 25-26, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro 0001 |
On isomorphisms of modules over non-commutative PID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 210-216, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oscar García Morchon, Domingo Gómez-Pérez, Jaime Gutierrez 0001, Ronald Rietman, Ludo Tolhuizen |
The MMO problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014, pp. 186-193, 2014, ACM, 978-1-4503-2501-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel E. Steffy |
Exact linear and integer programming: tutorial abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 11-12, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bach 0001, Jonathan P. Sorenson |
Approximately counting semismooth integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 23-30, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Hulpke |
Calculation of the subgroups of a trivial-fitting group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 205-210, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Senshan Pan, Yupu Hu, Baocang Wang |
The termination of the F5 algorithm revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 291-298, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pablo A. Parrilo |
Convex algebraic geometry and semidefinite optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 9-10, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
Interfacing mathemagix with C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 363-370, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Eder, Bjarke Hammersholt Roune |
Signature rewriting in gröbner basis computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 331-338, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron |
On the complexity of computing gröbner bases for quasi-homogeneous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 189-196, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer |
Desingularization explains order-degree curves for ore operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 157-164, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wenyuan Wu, Greg Reid |
Finding points on real solution components and applications to differential polynomial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 339-346, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki |
Factoring bivariate lacunary polynomials without heights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 141-148, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan |
Simultaneous computation of the row and column rank profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 181-188, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Lenstra |
Lattices with symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 3-4, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qingdong Guo, Mohab Safey El Din, Lihong Zhi |
Computing rational solutions of linear matrix inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 197-204, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jingguo Bi, Qi Cheng 0001, J. Maurice Rojas |
Sub-linear root detection, and new hardness results, for sparse polynomials over finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 61-68, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Berthé, Jean Creusefond, Loïck Lhote, Brigitte Vallée |
Multiple GCDs. probabilistic analysis of the plain algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 37-44, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander B. Levin |
Multivariate difference-differential dimension polynomials and new invariants of difference-differential field extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 267-274, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Jules Svartz |
Gröbner bases of ideals invariant under a commutative group: the non-modular case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 347-354, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Veronika Pillwein |
Termination conditions for positivity proving procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 315-322, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001 |
Constructing a single open cell in a cylindrical algebraic decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 133-140, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Frédéric Chyzak, Elie de Panafieu |
Complexity estimates for two uncoupling algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 85-92, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Romain Lebreton, Éric Schost |
Structured FFT and TFT: symmetric and lattice polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 355-362, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li 0056, Chun-Ming Yuan, Xiao-Shan Gao |
Sparse difference resultant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 275-282, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohab Safey El Din |
Critical point methods and effective real algebraic geometry: new results and trends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 5-6, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark van Hoeij |
The complexity of factoring univariatepolynomials over the rationals: tutorial abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 13-14, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz |
On the integration of differential fractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 101-108, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alicia Dickenstein, Ioannis Z. Emiris, Vissarion Fisikopoulos |
Combinatorics of 4-dimensional resultant polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 173-180, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Wolfram |
Computer algebra: a 32-year update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 7-8, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Romain Basson, Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling |
An explicit expression of the Lüroth invariant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013, pp. 31-36, 2013, ACM, 978-1-4503-2059-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|