Skip to content

Computer Algebra in Scientific Computing

CASC

B

CORE rank

CORE rank (raw)

B

Fields of research

Theory of Computation

Papers indexed

685

1999–2026

Papers per year

199941 peak2026

CASC papers

685 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2013Complexity in Tropical Algebra (Invited Talk).Dima Grigoriev
2013Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees.Dima Grigoriev
2013From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk).Andreas Griewank
2013Simulation of Quantum Error Correction with Mathematica.Vladimir P. Gerdt, Alexander N. Prokopenya
2013Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core Systems.Mickal Gastineau, Jacques Laskar
2013Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates.Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
2013On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter.Alexander D. Bruno, Victor F. Edneral
2013Faster Sparse Interpolation of Straight-Line Programs.Andrew Arnold, Mark Giesbrecht, Daniel S. Roche
2013On Consistency of Finite Difference Approximations to the Navier-Stokes Equations.Pierluigi Amodio, Yuri A. Blinkov, Vladimir P. Gerdt, Roberto La Scala
2013Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One.Parisa Alvandi, Changbo Chen, Marc Moreno Maza
2013Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem.Danko Adrovic, Jan Verschelde
2013On the Dimension of Solution Spaces of Full Rank Linear Differential Systems.Sergei A. Abramov, Moulay A. Barkatou
2012Usage of Modular Techniques for Efficient Computation of Ideal Operations - (Invited Talk).Kazuhiro Yokoyama
2012Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization.Jing Yang, Dongming Wang, Hoon Hong
2012Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems.Zhikun She, Haoyang Li
2012Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations.Vasily P. Shapeev, Evgenii V. Vorozhtsov
2012Approximately Singular Systems and Ill-Conditioned Polynomial Systems.Tateaki Sasaki, Daiju Inaba
2012PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks.Satya Swarup Samal, Hassan Errami, Andreas Weber
2012Real and Complex Polynomial Root-Finding by Means of Eigen-Solving.Victor Y. Pan, Guoliang Qian, Ailong Zheng
2012Root-Refining for a Polynomial Equation.Victor Y. Pan
2012Parallel Reduction of Matrices in Grbner Bases Computations.Severin Neumann
2012Stability Conditions of Monomial Bases and Comprehensive Grbner Systems.Katsusuke Nabeshima
2012Sparse Polynomial Powering Using Heaps.Michael B. Monagan, Roman Pearce
2012A Note on the Space Complexity of Fast D-Finite Function Evaluation.Marc Mezzarobba
2012Inversion Modulo Zero-Dimensional Regular Chains.Marc Moreno Maza, ric Schost, Paul Vrbik
376400 of 685← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.