Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nusa Zidaric, Guang Gong, Mark D. Aagaard, Aleksandar Jurisic, Olexandr Konovalov |
FFCSA - Finite Field Constructions, Search, and Algorithms. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Alexander B. Batkhin, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu 0003 |
The Fifth Conference "Computer Algebra" in Moscow. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Metzlaff |
Symmetry Adapted Bases for Trigonometric Optimization. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001, Zoltán Kovács, Tomás Recio |
Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Théo Mary |
Modular Matrix Multiplication on GPU for Polynomial System Solving. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Sekigawa |
An Approximation Algorithm for the Nearest Decomposable Polynomial in the Hamming Distance. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elena Berardini, Alain Couvreur, Grégoire Lecerf |
A Proof of the Brill-Noether Method from Scratch. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Eva U. Petkovsek |
Marko Petkovšek 1955-2023. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Teguia Tabuguia |
Operations for D-Algebraic Functions. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Snehal Bhayani, Praneeth Susarla, S. S. Krishna Chaitanya Bulusu, Olli Silvén, Markku J. Juntti, Janne Heikkilä |
A Novel Application of Polynomial Solvers in mmWave Analog Radio Beamforming. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ross C. McPhedran, Tony C. Scott, Aude Maignan |
The Keiper-Li Criterion for the Riemann Hypothesis and Generalized Lambert Functions. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Katarína Studenicová |
Arithmetics in Generalised Cantor Base Systems. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Ayotte, Xavier Caruso, Antoine Leudière, Joseph Musleh |
Drinfeld Modules in SageMath. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Blümlein, Nikolai Fadeev, Carsten Schneider |
Computing Mellin Representations and Asymptotics of Nested Binomial Sums in a Symbolic Way: The RICA Package. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Chen, Yu Li, Eugene Zima |
On a Two-Layer Modular Arithmetic. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Jiménez-Pastor, Sonia L. Rueda, Maria-Angeles Zurro |
Computing Almost-Commuting Basis of Ordinary Differential Operators. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shalosh B. Ekhad, Doron Zeilberger |
Counting Clean Words According to the Number of Their Clean Neighbors. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka, Ryo Oshimatani |
Conditional GrÖbner Basis: GrÖbner Basis Detection with Parameters. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | M. Levent Dogan, Alperen Ali Ergür, Elias P. Tsigaridas |
On the Complexity of Chow and Hurwitz Forms. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kazuki Okuda, Kiyoshi Shirayanagi |
Using the Interval-Symbol Method with Zero Rewriting to Factor Polynomials over Algebraic Number Fields. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Gleb Pogudin |
Linear Difference Operators with Sequence Coefficients Having Infinite-Dimentional Solution Spaces. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Bihan, Erika Croy, Weixun Deng, Kaitlyn Phillipson, Robert J. Rennie, J. Maurice Rojas |
Quickly Computing Isotopy Type for Exponential Sums over Circuits (Extended Abstract). |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yang-Hui He, Vishnu Jejjala, Brent D. Nelson, Hal Schenck, Michael Eugene Stillman |
MSSM: A Macaulay2 Package for the Vacuum Moduli Space. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Ángel Marco Buzunáriz, Ana Romero 0001, Jose Divasón |
Effective Homology of Universal Covers. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nusa Zidaric |
How to use a CAS for Hardware Design Automation. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tereso del Río, AmirHosein Sadeghimanesh, Matthew England 0001 |
Clustering in the Lazard method for Cylindrical Algebraic Decomposition. |
ACM Commun. Comput. Algebra |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jiayue Qi |
An identity on multinomial coefficients. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mawunyo Kofi Darkey-Mensah |
Algorithms for Quadratic Forms over Global Function Fields. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Salazar Celis |
Adaptive Thiele interpolation. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | AmirHosein Sadeghimanesh, Matthew England 0001 |
An SMT solver for non-linear real arithmetic inside maple. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Evelyne Hubert, Tobias Metzlaff, Philippe Moustrou, Cordian Riener |
T-orbit spaces of multiplicative actions and applications. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Connie Corona, Zahid Hasan, Bronson Lim |
Symmetric Generation of J2 on 32 Letters. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Jiménez-Pastor, Gleb Pogudin |
Computing exact nonlinear reductions of dynamical models. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Steininger, Sergey Yurkevich |
Extended abstract for: solving rupert's problem algorithmically. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs). |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tian Chen, Michael B. Monagan |
Factoring non-monic polynomials represented by black boxes. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jazz G. Suchen, Josué Tonelli-Cueto |
Ultrametric smale's α-theory. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ayoola Jinadu, Michael B. Monagan |
A new interpolation algorithm for computing dixon resultants. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Pagès |
Factoring differential operators over algebraic curves in positive characteristic. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Teguia Tabuguia, Wolfram Koepf |
FPS in action: an easy way to find explicit formulas for interlaced hypergeometric sequences. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | François Lemaire, Louis Roussel |
Integral equation modelling and deep learning. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Henri Cohen, Bill Allombert, Karim Belabas |
Jenks prize announcement. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juan Pablo González Trochez, Marc Moreno Maza, Matt Calder, Erik Postma |
Algorithms for multivariate laurent series. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Aaron E. Naiman |
Automated vector space proofs using mathematica. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Kovács, Tomás Recio, M. Pilar Vélez |
Automated reasoning tools in GeoGebra discovery. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
On sparse interpolation of rational functions and gcds. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan |
A call to build a publicly accessible library of lecture recordings in computer algebra. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka |
Approximate GCD by relaxed NewtonSLRA algorithm. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Alla A. Bogolubskaya |
22nd Workshop on Computer Algebra in Memory of Professor Vladimir Gerdt in Dubna. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Skander Belhaj, Abdulrahman Alsulami |
Approximate greatest common divisor of several polynomials from Hankel matrices. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Juan Ignacio García-García, Daniel Marín-Aragón, Alberto Vigneron-Tenorio |
Computing the ideals of sumset semigroups. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Miguel, Andrea Guidolin, Ana Romero 0001, Julio Rubio 0001 |
Constructing new spectral systems from simplicial fibrations. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mawunyo Kofi Darkey-Mensah |
Algorithms for quadratic forms over global function fields of odd characteristic. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Goyer |
A sage package for the symbolic-numeric factorization of linear differential operators. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ernst W. Mayr, Werner M. Seiler, Evgenii V. Vorozhtsov |
Vladimir Gerdt dies at 73. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Iglesias, Eduardo Sáenz-de-Cabezón |
Cellular reductions of the Pommaret-Seiler resolution for Quasi-stable ideals. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Hemmecke |
RISC Ph.D. studies program. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Russell J. Bradford, James H. Davenport, Matthew England 0001, AmirHosein Sadeghimanesh, Ali Kemal Uncu |
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu 0003 |
The fourth conference "computer algebra" in Moscow. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin |
Maple application for structural identifiability analysis of ODE models. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shashi Gowda, Yingbo Ma, Alessandro Cheli, Maja Gwózdz, Viral B. Shah, Alan Edelman, Christopher Rackauckas |
High-performance symbolic-numerics via multiple dispatch. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Matveiakin |
Discovering multiple polylogarithm equations via symbolic computations. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Elbaz-Vincent, Etienne Marcatel |
An extension of the fpLLL library to Hermitian lattices. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julian Pfeifle |
Large final polynomials from integer programming. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marc Härkönen, Benjamin Hollering, Fatemeh Tarashi Kashani, Jose Israel Rodriguez |
Algebraic optimization degree. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | J. Maurice Rojas, Yuyu Zhu |
A complexity chasm for solving sparse polynomial equations over p-adic fields: extended abstract. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
Recent and upcoming events. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jiayue Qi |
A calculus for monomials in Chow group of zero cycles in the moduli space of stable curves. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr. |
Improved divisor arithmetic on generic hyperelliptic curves. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Julia Lindberg, Nigel Boston, Bernard C. Lesieutre |
Exploiting symmetry in the power flow equations using monodromy. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ana Romero 0001, Julio Rubio 0001, Francis Sergeraert, Markus Szymik |
A new Kenzo module for computing the Eilenberg-Moore spectral sequence. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Katherine Harris, Jonathan D. Hauenstein, Ágnes Szántó |
Smooth points on semi-algebraic sets. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Michael B. Monagan |
Computing one billion roots using the tangent Graeffe method. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maheswara Rao Valluri |
Combinatorial primality test. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din |
Towards fast one-block quantifier elimination through generalised critical values. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christina Katsamaki, Fabrice Rouillier, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos |
PTOPO: a maple package for the topology of parametric curves. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Koprowski |
CQF Magma package. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Jiménez-Pastor, Alin Bostan, Frédéric Chyzak, Pierre Lairez |
The Sage package comb_walks for walks in the quarter plane. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Miao-Jung Yvonne Ou |
Teaching multivariable calculus and tensor calculus with computer algebra software. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Apostolos Chalkis, Vissarion Fisikopoulos, Panagiotis Repouskos, Elias P. Tsigaridas |
Sampling the feasible sets of SDPs and volume approximation. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan |
The 2019 Richard D. Jenks memorial prize. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Bychkov, Gleb Pogudin |
Optimal monomial quadratization for ODE systems: extended abstract. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
Ultimate complexity for numerical algorithms. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Colin Crowley, Jose Israel Rodriguez, Jacob Weiker, Jacob Zoromski |
MultiRegeneration for polynomial system solving. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko |
Checkpoints in searching for rational solutions of linear ordinary difference and differential systems. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Werner M. Seiler |
Jacques Calmet dies at 77. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erdal Imamoglu, Erich L. Kaltofen |
A note on sparse polynomial interpolation in Dickson polynomial basis. |
ACM Commun. Comput. Algebra |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mawunyo Kofi Darkey-Mensah, Przemyslaw Koprowski |
Intrinsic factorization of ideals in Dedekind domains. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bo Huang, Wei Niu 0001 |
Algebraic approach to chaos induced by snapback repeller. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Boming Chi, Akira Terui |
The GPGCD algorithm with the Bézout matrix. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Abstracts of recent doctoral dissertations in computer algebra. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Pascual-Ortigosa, Eduardo Sáenz-de-Cabezón, Henry P. Wynn |
Algebraic algorithms for the reliability analysis of multi-state k-out-of-n systems. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Julián Cuevas-Rozo, Jose Divasón, Miguel Ángel Marco Buzunáriz, Ana Romero 0001 |
A Kenzo interface for algebraic topology computations in SageMath. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Hofstadler, Clemens G. Raab, Georg Regensburger |
Certifying operator identities via noncommutative Gröbner bases. |
ACM Commun. Comput. Algebra |
2019 |
DBLP DOI BibTeX RDF |
|