On the public citation graph

Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93

https://doi.org/10.1145/164081
0 signed · 36 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-47997-x_2openalex-snapshot
Solving Geometric Problems with Real Quantifier Elimination
inferred← citeshttps://doi.org/10.1007/978-3-642-36403-7_6openalex-snapshot
Mashups Using Mathematical Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-59932-3_9openalex-snapshot
On the Real Nullstellensatz
inferred← citeshttps://doi.org/10.1007/978-3-662-43799-5_16openalex-snapshot
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
inferred← citeshttps://doi.org/10.1007/978-3-662-44199-2_98openalex-snapshot
Elements of Design for Containers and Solutions in the LinBox Library
inferred← citeshttps://doi.org/10.1007/bf03186547openalex-snapshot
Computer algebra for guaranteed accuracy. How does it help?
inferred← citeshttps://doi.org/10.1007/s00145-013-9158-5openalex-snapshot
Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm
inferred← citeshttps://doi.org/10.1007/s10665-009-9344-5openalex-snapshot
An algorithm for the complete symmetry classification of differential equations based on Wu’s method
inferred← citeshttps://doi.org/10.1007/s11424-011-0218-3openalex-snapshot
The F5 algorithm in Buchberger’s style
inferred← citeshttps://doi.org/10.1007/s11424-019-8351-5openalex-snapshot
Global Optimization of Polynomials over Real Algebraic Sets
inferred← citeshttps://doi.org/10.1016/b978-0-12-415780-4.00003-xopenalex-snapshot
Inferring the Topology of Gene Regulatory Networks: An Algebraic Approach to Reverse Engineering
inferred← citeshttps://doi.org/10.1016/b978-0-444-52730-1.00009-6openalex-snapshot
Nearly Optimal Universal Polynomial Factorization and Root-Finding
inferred← citeshttps://doi.org/10.1016/j.amc.2016.08.023openalex-snapshot
Unification and extension of intersection algorithms in numerical algebraic geometry
inferred← citeshttps://doi.org/10.1016/j.cagd.2014.05.006openalex-snapshot
Identifying and approximating monotonous segments of algebraic curves using support function representation
inferred← citeshttps://doi.org/10.1016/j.cam.2015.12.030openalex-snapshot
A solution method for autonomous first-order algebraic partial differential equations
inferred← citeshttps://doi.org/10.1016/j.cpc.2023.108942openalex-snapshot
pfd-parallel, a Singular/GPI-Space package for massively parallel multivariate partial fractioning
inferred← citeshttps://doi.org/10.1016/j.heliyon.2024.e25786openalex-snapshot
A novel linear algebra-based method for complex interval linear systems in circuit analysis
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2024.01.029openalex-snapshot
Dimension results for extremal-generic polynomial systems over complete toric varieties
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2024.07.052openalex-snapshot
Generalized identifiability of sums of squares
inferred← citeshttps://doi.org/10.1016/j.jco.2005.04.002openalex-snapshot
The shifted number system for fast linear algebra on integer matrices
inferred← citeshttps://doi.org/10.1016/j.jco.2020.101499openalex-snapshot
Fast computation of generic bivariate resultants
inferred← citeshttps://doi.org/10.1016/j.jsc.2011.11.004openalex-snapshot
Real root isolation for exp–log–arctan functions
inferred← citeshttps://doi.org/10.1016/j.jsc.2013.06.001openalex-snapshot
Compositions and collisions at degree p2
inferred← citeshttps://doi.org/10.1016/j.jsc.2019.07.020openalex-snapshot
From simplification to a partial theory solver for non-linear real polynomial constraints
inferred← citeshttps://doi.org/10.1016/j.jsc.2021.10.001openalex-snapshot
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
inferred← citeshttps://doi.org/10.1016/j.jsc.2023.102235openalex-snapshot
Computing with Tarski formulas and semi-algebraic sets in a web browser
inferred← citeshttps://doi.org/10.1016/j.jsc.2024.102329openalex-snapshot
Reduction-based creative telescoping for definite summation of D-finite functions
inferred← citeshttps://doi.org/10.1016/s0020-7683(97)00002-4openalex-snapshot
Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
inferred← citeshttps://doi.org/10.1017/9781107415157.001openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1017/s0263574711000087openalex-snapshot
Experiences in the development of a teleoperated parallel robot for aerial line maintenance
inferred← citeshttps://doi.org/10.1103/physreva.109.053525openalex-snapshot
Algebraic approach to finding the number of parameters required to obtain a bound state in the continuum
inferred← citeshttps://doi.org/10.1103/physreva.95.062303openalex-snapshot
Criteria for universality of quantum gates
inferred← citeshttps://doi.org/10.1115/1.2120787openalex-snapshot
On a Rigid Body Subject to Point-Plane Constraints
inferred← citeshttps://doi.org/10.1145/3341105.3373965openalex-snapshot
Topology-based group routing in partially known environments
inferred← citeshttps://doi.org/10.1515/zna-2006-10-1101openalex-snapshot
Some Exact Analytical Solutions to the Inhomogeneous Higher-Order Nonlinear Schrödinger Equation Using Symbolic Computation
inferred← citeshttps://doi.org/10.2139/ssrn.6178286openalex-snapshot
Symbolic Mathematical Computation 1965–1975: The emergence of a discipline
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.