default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Communications in Computer Algebra, Volume 50
Volume 50, Number 1, March 2016
- Grégoire Lecerf, Joelle Saadé:
A short survey on Kantorovich: like theorems for Newton's method. 1-11 - Manuel Delgado
, Pedro A. García-Sánchez:
numericalsgps, a GAP package for numerical semigroups. 12-24 - George Labahn, Stephen M. Watt:
Thematic program in computer algebra: July 1 - Dec 31, 2015. 25-26 - Manuel Kauers, Peter Paule, Greg Reid:
Workshop on symbolic combinatorics and algorithmic differential algebra. 27-34 - Silvana Ilie, Arne Storjohann:
Abstracts of the 2015 east coast computer algebra day. 35-39 - Lingchuan Meng:
Abstracts of recent doctoral dissertations in computer algebra. 40-42
Volume 50, Number 2, June 2016
- Aude Maignan, Tony C. Scott:
Fleshing out the generalized Lambert W function. 45-60 - Sergei A. Abramov, Leonid A. Sevastianov:
The conference "computer algebra" in Moscow. 61-68 - Tateaki Sasaki, Hiroshi Kai:
Memories on Professor Matu-tarow Noda. 69
Volume 50, Number 3, September 2016
- Fritz Schwarz:
Decomposing and solving quasilinear second-order differential equations. 73-82
- Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse:
Development of automatic reasoning tools in GeoGebra. 85-88 - Erhard Aichinger, Rika Yatchak:
Sonata: a GAP tool for nearring computations. 89-92 - Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza:
Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure. 93-96 - Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
The basic polynomial algebra subprograms. 97-100 - Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato:
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. 101-104 - A. Whitman Groves, Daniel S. Roche:
Sparse polynomials in FLINT. 105-108 - Christoph Koutschan:
Motion polynomials and planar linkages. 109-112 - Anton Leykin:
Polynomial homotopy continuation in Macaulay2. 113-116 - Elias P. Tsigaridas:
SLV: a software for real root isolation. 117-120
Volume 50, Number 4, December 2016
- Andreas Maurischat:
Non-free iterative differential modules. 126-135 - Fei Wang:
Proof of a series solution for euler's trinomial equation. 136-144 - Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability checking and symbolic computation. 145-147 - Parisa Alvandi, Marc Moreno Maza:
Real limit points of quasi-componenets of regular chains. 148-150 - Richard G. Carter, Shahadat Hossain, Marzia Sultana:
Efficient detection of hessian matrix sparsity pattern. 151-154 - Eunice Y. S. Chan, Robert M. Corless:
Fibonacci-mandelbrot polynomials and matrices. 155-157 - Robert M. Corless, Steven E. Thornton:
The bohemian eigenvalue project. 158-160 - Evans Doe Ocansey, Carsten Schneider:
Representation of hypergeometric products in difference rings. 161-163 - Wayne Eberly:
Black box linear algebra: extending wiedemann's analysis of a sparse matrix preconditioner for computations over small fields. 164-166 - Heike Faßbender, Javier Pérez, Nikta Shayanfar:
Constructing symmetric structure-preserving strong linearizations. 167-169 - Majid Gazor, Mahsa Kazemi:
Z2-equivariant standard bases for submodules associated with Z2-equivariant singularities. 170-172 - Gavin Harrison, Jeremy Johnson, B. David Saunders:
Probabilistic analysis of block wiedemann for leading invariant factors. 173-175 - Akiyuki Katayama, Kiyoshi Shirayanagi:
A new idea on the interval-symbol method with correct zero rewriting for reducing exact computations. 176-178 - Sungsoon Kim, Dongil Lee:
Standard monomials for temperley-lieb algebras. 179-181 - Marshall Law, Michael B. Monagan:
Computing characteristic polynomials of matrices of structured polynomials. 182-184 - Johannes Middeke, Carsten Schneider:
Denominator bounds for higher order systems of linear recurrence equations. 185-187 - Michael B. Monagan, Roman Pearce:
Fermat benchmarks for rational expressionals in maple. 188-190 - Dominique Duval, Adrien Poteaux:
Death of Marc Rybowicz, aged 52. 191
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-07 23:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
