On the public citation graph
Inner and Outer Approximations of Existentially Quantified Equality Constraints
0 signed · 35 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1_2openalex-snapshot
Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress
inferredcites →https://doi.org/10.1007/b136149openalex-snapshot
Scientific Applications of Grid Computing
inferredcites →https://doi.org/10.1007/s11155-005-0404-xopenalex-snapshot
A Right-Preconditioning Process for the Formal–Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets
inferredcites →https://doi.org/10.1016/s0743-1066(96)00142-2openalex-snapshot
Applying interval arithmetic to real, integer, and boolean constraints
inferredcites →https://doi.org/10.1017/cbo9780511526473openalex-snapshot
Interval Methods for Systems of Equations
inferredcites →https://doi.org/10.1023/a:1020505620702openalex-snapshot
A New Technique in Systems Analysis Under Interval Uncertainty and Ambiguity
inferredcites →https://doi.org/10.1115/1.2826874openalex-snapshot
Numerical Algorithms for Mapping Boundaries of Manipulator Workspaces
inferredcites →https://doi.org/10.1137/s0036142903436174openalex-snapshot
Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
inferredcites →https://doi.org/10.1145/1141277.1141665openalex-snapshot
A branch and prune algorithm for the approximation of non-linear AE-solution sets
inferredcites →https://doi.org/10.3217/jucs-000-00-0109openalex-snapshot
Journal of Universal Computer Science
inferredcites →https://doi.org/10.3217/jucs-006-09-0861openalex-snapshot
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-319-10428-7_49openalex-snapshot
The Non-overlapping Constraint between Objects Described by Non-linear Inequalities
inferred← citeshttps://doi.org/10.1007/978-3-642-55195-6_59openalex-snapshot
Using Quadratic Approximations in an Interval Method for Solving Underdetermined and Well-Determined Nonlinear Systems
inferred← citeshttps://doi.org/10.1007/s00607-011-0169-5openalex-snapshot
Solving set-valued constraint satisfaction problems
inferred← citeshttps://doi.org/10.1007/s10601-008-9053-0openalex-snapshot
Efficient handling of universally quantified inequalities
inferred← citeshttps://doi.org/10.1007/s10601-012-9126-yopenalex-snapshot
Interval-based projection method for under-constrained numerical systems
inferred← citeshttps://doi.org/10.1007/s11075-015-9980-yopenalex-snapshot
Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems
inferred← citeshttps://doi.org/10.1007/s11786-012-0130-9openalex-snapshot
Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots
inferred← citeshttps://doi.org/10.1007/s11786-014-0206-9openalex-snapshot
Kernel Characterization of an Interval Function
inferred← citeshttps://doi.org/10.1007/s41468-017-0009-6openalex-snapshot
Solving equations and optimization problems with uncertainty
inferred← citeshttps://doi.org/10.1016/j.automatica.2011.11.004openalex-snapshot
Set-membership state estimation with fleeting data
inferred← citeshttps://doi.org/10.1016/j.engappai.2021.104184openalex-snapshot
A boundary approach for set inversion
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.11.209openalex-snapshot
Surfaces for modeling arteries in virtual reality simulators**This work was supported by CNPq - Brazil under project number 290011/2008-6.
inferred← citeshttps://doi.org/10.1016/j.mechmachtheory.2017.05.003openalex-snapshot
Performance analysis and design of parallel kinematic machines using interval analysis
inferred← citeshttps://doi.org/10.1017/s0890060409000055openalex-snapshot
Search heuristics for constraint-aided embodiment design
inferred← citeshttps://doi.org/10.1109/lcsys.2017.2721380openalex-snapshot
Solvability Regions of Affinely Parameterized Quadratic Equations
inferred← citeshttps://doi.org/10.1109/tcns.2019.2930896openalex-snapshot
Convex Restriction of Power Flow Feasibility Sets
inferred← citeshttps://doi.org/10.1115/1.4026027openalex-snapshot
Searching Feasible Design Space by Solving Quantified Constraint Satisfaction Problems
inferred← citeshttps://doi.org/10.1145/1363686.1363724openalex-snapshot
An efficient algorithm for a sharp approximation of universally quantified inequalities
inferred← citeshttps://doi.org/10.3722/cadaps.2008.654-666openalex-snapshot
Interpretable Interval Constraint Solvers in Semantic Tolerance Analysis
inferred← citeshttps://doi.org/10.70675/7a61816fz7bcdz4b3fzbde1z498c1fc7145aopenalex-snapshot
Packing curved objects with interval methods
inferred← citeshttps://doi.org/10.70675/f8ec4bc3zde24z49aez9a98z78b11c2649c6openalex-snapshot
Localisation ensembliste de drones à l’aide de méthodes par intervalles
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.