default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Communications in Computer Algebra, Volume 56
Volume 56, Number 1, March 2022
- Aaron E. Naiman:
Automated vector space proofs using mathematica. 1-13
Volume 56, Number 2, June 2022
- Ignacio García-Marco, Irene Márquez-Corbella, Edgar Martínez-Moro, Yuriko Pitones:
Computing generalized hamming weights of binary linear codes via free resolutions. 19-24 - Antonio Jiménez-Pastor
, Gleb Pogudin:
Computing exact nonlinear reductions of dynamical models. 25-31 - Jakob Steininger, Sergey Yurkevich:
Extended abstract for: solving rupert's problem algorithmically. 32-35 - Jorge García Fontán, Alessandro Colotti, Sébastien Briot, Alexandre Goldsztejn, Mohab Safey El Din:
Computer algebra methods for polynomial system solving at the service of image-based visual servoing. 36-40 - Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din:
Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system. 41-45 - Bertrand Teguia Tabuguia, Wolfram Koepf:
FPS in action: an easy way to find explicit formulas for interlaced hypergeometric sequences. 46-50 - François Lemaire, Louis Roussel:
Integral equation modelling and deep learning. 51-55 - Jazz G. Suchen, Josué Tonelli-Cueto:
Ultrametric smale's α-theory. 56-59 - Raphaël Pagès:
Factoring differential operators over algebraic curves in positive characteristic. 60-63 - Juan Pablo González Trochez, Marc Moreno Maza, Matt Calder, Erik Postma:
Algorithms for multivariate laurent series. 64-67 - Jiayue Qi:
An identity on multinomial coefficients. 68-71 - Evelyne Hubert, Tobias Metzlaff, Philippe Moustrou, Cordian Riener:
T-orbit spaces of multiplicative actions and applications. 72-75 - AmirHosein Sadeghimanesh, Matthew England:
An SMT solver for non-linear real arithmetic inside maple. 76-79 - Tian Chen, Michael B. Monagan:
Factoring non-monic polynomials represented by black boxes. 80-83 - Shahriar Iravanian, Carl Julius Martensen, Alessandro Cheli, Shashi Gowda, Anand Jain, Yingbo Ma, Chris Rackauckas:
Symbolic-numeric integration of univariate expressions based on sparse regression. 84-87 - Ayoola Jinadu, Michael B. Monagan:
A new interpolation algorithm for computing dixon resultants. 88-91 - Henri Cohen, Bill Allombert, Karim Belabas:
Jenks prize announcement. 92-94
Volume 56, Number 3, September 2022
- Tateaki Sasaki:
A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs). 97-124 - Oliver Salazar Celis:
Adaptive Thiele interpolation. 125-132
Volume 56, Number 4, December 2022
- Connie Corona, Zahid Hasan, Bronson Lim:
Symmetric Generation of J2 on 32 Letters. 133-149 - Mawunyo Kofi Darkey-Mensah:
Algorithms for Quadratic Forms over Global Function Fields. 150
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-21 19:37 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:
