On the public citation graph
PROFIL/BIAS—A fast interval library
0 signed · 221 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.1016/b978-0-12-428660-3.50010-0openalex-snapshot
SOLVING ALGEBRAIC PROBLEMS WITH HIGH ACCURACY
inferredcites →https://doi.org/10.1016/c2009-0-21898-8openalex-snapshot
Introduction to Interval Computation
inferredcites →https://doi.org/10.1016/s0076-5392(08)62842-8openalex-snapshot
C-XSC A Programming Environment for Verified Scientific Computing and Numerical Data Processing
inferredcites →https://doi.org/10.1016/s0076-5392(08)x6163-6openalex-snapshot
Scientific Computing with Automatic Result Verification
inferredcites →https://doi.org/10.1137/1.9781611970906openalex-snapshot
Methods and Applications of Interval Analysis
inferredcites →https://doi.org/10.1145/198429.198433openalex-snapshot
Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
inferredcites →https://doi.org/10.1145/355841.355847openalex-snapshot
Basic Linear Algebra Subprograms for Fortran Usage
inferredcites →https://doi.org/10.1145/42288.42291openalex-snapshot
An extended set of FORTRAN basic linear algebra subprograms
inferredcites →https://doi.org/10.1145/77626.79170openalex-snapshot
A set of level 3 basic linear algebra subprograms
inferredcites →https://doi.org/10.1145/78928.78931openalex-snapshot
Algorithm 681: INTBIS, a portable interval Newton/bisection package
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/aic.14447openalex-snapshot
Worst‐case design of subsea production facilities using semi‐infinite programming
inferred← citeshttps://doi.org/10.1002/aic.15292openalex-snapshot
Liver function as an engineering system
inferred← citeshttps://doi.org/10.1002/zamm.19980781590openalex-snapshot
Verifizierte Fehlerschranken und Gleichungssysteme
inferred← citeshttps://doi.org/10.1006/jsvi.2000.3191openalex-snapshot
ANALYSIS OF MECHANICAL SYSTEMS USING INTERVAL COMPUTATIONS APPLIED TO FINITE ELEMENT METHODS
inferred← citeshttps://doi.org/10.1007/0-306-48332-7_233openalex-snapshot
ABS algorithms for linear equations and linear least squares; Automatic differentiation: Point and interval; Automatic differentiation: Point and interval Taylor operators; Bounding derivative ranges; Cholesky factorization; Global optimization: Application to phase equilibrium problems; Interval…
inferred← citeshttps://doi.org/10.1007/0-306-48420-x_11openalex-snapshot
Corotating five point vortices in a plane
inferred← citeshttps://doi.org/10.1007/0-387-30927-6_14openalex-snapshot
A Collaborative Solution Methodology for Inverse Position Problem
inferred← citeshttps://doi.org/10.1007/3-540-28258-0_22openalex-snapshot
Reconciling Franchisor and Franchisee: A Planar Biobjective Competitive Location and Design Model
inferred← citeshttps://doi.org/10.1007/3-540-45578-7_37openalex-snapshot
Optimal Pruning in Parametric Differential Equations
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_14openalex-snapshot
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
inferred← citeshttps://doi.org/10.1007/3-540-62501-1_41openalex-snapshot
Interval domain library for ECLiPSe and its application
inferred← citeshttps://doi.org/10.1007/978-0-387-36721-7_5openalex-snapshot
An Interval Partitioning Approach for Continuous Constrained Optimization
inferred← citeshttps://doi.org/10.1007/978-0-387-74759-0_307openalex-snapshot
Interval Linear Systems
inferred← citeshttps://doi.org/10.1007/978-1-4613-1457-8_1openalex-snapshot
Variable-Precision, Interval Arithmetic Processors
inferred← citeshttps://doi.org/10.1007/978-1-4613-3440-8_14openalex-snapshot
Software and Hardware Techniques for Accurate, Self-Validating Arithmetic
inferred← citeshttps://doi.org/10.1007/978-1-4757-6484-0_14openalex-snapshot
Guaranteed Set Computation with Subpavings
inferred← citeshttps://doi.org/10.1007/978-1-4757-6484-0_5openalex-snapshot
A Case for Interval Hardware on Superscalar Processors
inferred← citeshttps://doi.org/10.1007/978-1-84800-326-2_1openalex-snapshot
Fundamentals of Interval Computing
inferred← citeshttps://doi.org/10.1007/978-3-030-21803-4_100openalex-snapshot
A Continuous Competitive Facility Location and Design Problem for Firm Expansion
inferred← citeshttps://doi.org/10.1007/978-3-031-30445-3_35openalex-snapshot
A Cross-Platform Benchmark for Interval Computation Libraries
inferred← citeshttps://doi.org/10.1007/978-3-319-29975-4_10openalex-snapshot
Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering
inferred← citeshttps://doi.org/10.1007/978-3-319-31769-4_21openalex-snapshot
Curve Veering for the Parameter-dependent Clamped Plate
inferred← citeshttps://doi.org/10.1007/978-3-319-31769-4_3openalex-snapshot
The Forthcoming IEEE Standard 1788 for Interval Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-319-32859-1_47openalex-snapshot
Global Optimization Based on Contractor Programming: An Overview of the IBEX Library
inferred← citeshttps://doi.org/10.1007/978-3-319-95312-0_45openalex-snapshot
Moore: Interval Arithmetic in C++20
inferred← citeshttps://doi.org/10.1007/978-3-540-24738-8_4openalex-snapshot
Multiple Precision Interval Packages: Comparing Different Approaches
inferred← citeshttps://doi.org/10.1007/978-3-540-24738-8_8openalex-snapshot
Interval Algorithms in Modeling of Multibody Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-24738-8_9openalex-snapshot
Reliable Distance and Intersection Computation Using Finite Precision Geometry
inferred← citeshttps://doi.org/10.1007/978-3-540-39901-8_5openalex-snapshot
Rigorous Error Bounds for the Optimal Value of Linear Programming Problems
inferred← citeshttps://doi.org/10.1007/978-3-540-85521-7_1openalex-snapshot
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
inferred← citeshttps://doi.org/10.1007/978-3-540-85521-7_2openalex-snapshot
Interval Subroutine Library Mission
inferred← citeshttps://doi.org/10.1007/978-3-540-85640-5_11openalex-snapshot
SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-01591-5_1openalex-snapshot
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021
inferred← citeshttps://doi.org/10.1007/978-3-642-15582-6_54openalex-snapshot
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
inferred← citeshttps://doi.org/10.1007/978-3-642-15956-5_1openalex-snapshot
Implementing a Rigorous ODE Solver Through Literate Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-25100-9_76openalex-snapshot
Verified Analysis of a Biomechanics-Related System
inferred← citeshttps://doi.org/10.1007/978-3-642-28145-7_18openalex-snapshot
Efficient Implementation of Interval Matrix Multiplication
inferred← citeshttps://doi.org/10.1007/978-3-642-30864-2_20openalex-snapshot
Approximating the Pareto-front of Continuous Bi-objective Problems: Application to a Competitive Facility Location Problem
inferred← citeshttps://doi.org/10.1007/978-3-642-57172-5_6openalex-snapshot
ODE Software that Computes Guaranteed Bounds on the Solution
inferred← citeshttps://doi.org/10.1007/978-3-7091-6280-4_20openalex-snapshot
Fast verification algorithms in Matlab
inferred← citeshttps://doi.org/10.1007/978-3-7091-6282-8_6openalex-snapshot
Bounds for Eigenvalues with the Use of Finite Elements
inferred← citeshttps://doi.org/10.1007/978-3-7643-8773-0_2openalex-snapshot
Lower and Upper Bounds for Sloshing Frequencies
inferred← citeshttps://doi.org/10.1007/978-94-017-1247-7_10openalex-snapshot
Performance Evaluation Technique STU and libavi Library
inferred← citeshttps://doi.org/10.1007/978-94-017-1247-7_23openalex-snapshot
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation
inferred← citeshttps://doi.org/10.1007/978-94-017-1247-7_24openalex-snapshot
The Interval-Enhanced GNU Fortran Compiler
inferred← citeshttps://doi.org/10.1007/978-94-017-1247-7_27openalex-snapshot
A Numerical Verification Method of Solutions for the Navier-Stokes Equations
inferred← citeshttps://doi.org/10.1007/978-94-017-1247-7_7openalex-snapshot
INTLAB — INTerval LABoratory
inferred← citeshttps://doi.org/10.1007/978-94-017-1247-7_8openalex-snapshot
Verified calculation of the solution of algebraic Riccati equation
inferred← citeshttps://doi.org/10.1007/bf01279453openalex-snapshot
A branch and bound algorithm for bound constrained optimization problems without derivatives
inferred← citeshttps://doi.org/10.1007/bf02238359openalex-snapshot
Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems
inferred← citeshttps://doi.org/10.1007/bf02388187openalex-snapshot
Variable-precision, interval arithmetic coprocessors
inferred← citeshttps://doi.org/10.1007/bf02425915openalex-snapshot
Software for high radix on-line arithmetic
inferred← citeshttps://doi.org/10.1007/bf03167360openalex-snapshot
Numerical verifications for eigenvalues of second-order elliptic operators
inferred← citeshttps://doi.org/10.1007/bf03186543openalex-snapshot
Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
inferred← citeshttps://doi.org/10.1007/s00291-008-0163-2openalex-snapshot
On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems
inferred← citeshttps://doi.org/10.1007/s00500-013-1007-9openalex-snapshot
Error bounds for initial value problems by optimization
inferred← citeshttps://doi.org/10.1007/s00607-011-0172-xopenalex-snapshot
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
inferred← citeshttps://doi.org/10.1007/s006070050054openalex-snapshot
A Numerical Method to Verify the Elliptic Eigenvalue Problems Including a Uniqueness Property
inferred← citeshttps://doi.org/10.1007/s10107-005-0607-2openalex-snapshot
New interval methods for constrained global optimization
inferred← citeshttps://doi.org/10.1007/s10479-007-0233-xopenalex-snapshot
A robust and efficient algorithm for planar competitive location problems
inferred← citeshttps://doi.org/10.1007/s10479-017-2543-yopenalex-snapshot
A greedy approach for a rolling stock management problem using multi-interval constraint propagation
inferred← citeshttps://doi.org/10.1007/s10589-007-9135-8openalex-snapshot
Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods
inferred← citeshttps://doi.org/10.1007/s10601-015-9235-5openalex-snapshot
Constrained global optimization for wine blending
inferred← citeshttps://doi.org/10.1007/s10898-006-9043-yopenalex-snapshot
Symbolic Interval Inference Approach for Subdivision Direction Selection in Interval Partitioning Algorithms
inferred← citeshttps://doi.org/10.1007/s10898-006-9072-6openalex-snapshot
Multi-dimensional pruning from the Baumann point in an Interval Global Optimization Algorithm
inferred← citeshttps://doi.org/10.1007/s10898-006-9132-yopenalex-snapshot
Obtaining an outer approximation of the efficient set of nonlinear biobjective problems
inferred← citeshttps://doi.org/10.1007/s10898-008-9297-7openalex-snapshot
Efficient interval partitioning for constrained global optimization
inferred← citeshttps://doi.org/10.1007/s10898-013-0060-3openalex-snapshot
Global optimization of bounded factorable functions with discontinuities
inferred← citeshttps://doi.org/10.1007/s10898-013-0066-xopenalex-snapshot
First order rejection tests for multiple-objective optimization
inferred← citeshttps://doi.org/10.1007/s10898-015-0368-2openalex-snapshot
Solving a Huff-like Stackelberg location problem on networks
inferred← citeshttps://doi.org/10.1007/s10898-016-0462-0openalex-snapshot
A branch and bound algorithm for quantified quadratic programming
inferred← citeshttps://doi.org/10.1007/s10898-018-0690-6openalex-snapshot
Global optimization of generalized semi-infinite programs using disjunctive programming
inferred← citeshttps://doi.org/10.1007/s11067-006-9005-4openalex-snapshot
Planar Location and Design of a New Facility with Inner and Outer Competition: An Interval Lexicographical-like Solution Procedure
inferred← citeshttps://doi.org/10.1007/s11075-011-9524-zopenalex-snapshot
Fast interval matrix multiplication
inferred← citeshttps://doi.org/10.1007/s11081-010-9121-3openalex-snapshot
Solving kinematics problems by efficient interval partitioning
inferred← citeshttps://doi.org/10.1007/s11155-005-6891-yopenalex-snapshot
Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library
inferred← citeshttps://doi.org/10.1007/s11390-012-1260-xopenalex-snapshot
A Parallel Interval Computation Model for Global Optimization with Automatic Load Balancing
inferred← citeshttps://doi.org/10.1007/s11590-012-0596-zopenalex-snapshot
An approach for solving competitive location problems with variable demand using multicore systems
inferred← citeshttps://doi.org/10.1007/s11750-015-0387-7openalex-snapshot
Deterministic upper bounds for spatial branch-and-bound methods in global minimization with nonconvex constraints
inferred← citeshttps://doi.org/10.1007/s11786-014-0204-yopenalex-snapshot
A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability
inferred← citeshttps://doi.org/10.1007/s40997-017-0128-7openalex-snapshot
Forward Kinematic Analysis of Parallel Mechanisms in Seven-Dimensional Kinematic Space by Considering Limitation of Passive Joints motion
inferred← citeshttps://doi.org/10.1016/b978-0-323-88506-5.50104-2openalex-snapshot
Global Optimization of Mixed-Integer Polynomial Programs via Quadratic Reformulation
inferred← citeshttps://doi.org/10.1016/b978-0-444-63455-9.50069-6openalex-snapshot
Comparison between Interval Methods to Solve Initial Value Problems in Chemical Process Design
inferred← citeshttps://doi.org/10.1016/b978-0-444-63578-5.50127-4openalex-snapshot
Deterministic Global Dynamic Optimisation using Interval Analysis
inferred← citeshttps://doi.org/10.1016/j.automatica.2005.04.015openalex-snapshot
On the computation of invariant sets for constrained nonlinear systems: An interval arithmetic approach
inferred← citeshttps://doi.org/10.1016/j.cam.2003.10.016openalex-snapshot
A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
inferred← citeshttps://doi.org/10.1016/j.cam.2003.12.001openalex-snapshot
Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
inferred← citeshttps://doi.org/10.1016/j.cam.2005.08.045openalex-snapshot
Interval modeling of dynamics for multibody systems
inferred← citeshttps://doi.org/10.1016/j.cam.2006.02.023openalex-snapshot
Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
inferred← citeshttps://doi.org/10.1016/j.cam.2012.09.024openalex-snapshot
Accurate solution of dense linear systems, Part II: Algorithms using directed rounding
inferred← citeshttps://doi.org/10.1016/j.cam.2013.08.035openalex-snapshot
Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2017.02.028openalex-snapshot
Global optimisation for dynamic systems using interval analysis
inferred← citeshttps://doi.org/10.1016/j.cor.2006.05.003openalex-snapshot
The 1-center problem in the plane with independent random weights
inferred← citeshttps://doi.org/10.1016/j.cor.2006.08.003openalex-snapshot
Efficient interval partitioning—Local search collaboration for constraint satisfaction
inferred← citeshttps://doi.org/10.1016/j.cor.2008.02.006openalex-snapshot
Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models
inferred← citeshttps://doi.org/10.1016/j.cor.2013.08.004openalex-snapshot
Location equilibria for a continuous competitive facility location problem under delivered pricing
inferred← citeshttps://doi.org/10.1016/j.cor.2014.02.013openalex-snapshot
Approximating the Pareto-front of a planar bi-objective competitive facility location and design problem
inferred← citeshttps://doi.org/10.1016/j.cor.2016.09.019openalex-snapshot
A planar single-facility competitive location and design problem under the multi-deterministic choice rule
inferred← citeshttps://doi.org/10.1016/j.cor.2018.08.001openalex-snapshot
The probabilistic customer’s choice rule with a threshold attraction value: Effect on the location of competitive facilities in the plane
inferred← citeshttps://doi.org/10.1016/j.ejor.2006.02.005openalex-snapshot
Solving a Huff-like competitive location and design model for profit maximization in the plane
inferred← citeshttps://doi.org/10.1016/j.ejor.2009.07.027openalex-snapshot
The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: The case of the IN/GB method
inferred← citeshttps://doi.org/10.1016/j.ejor.2011.12.017openalex-snapshot
Competitive facility location and design with reactions of competitors already in the market
inferred← citeshttps://doi.org/10.1016/j.ejor.2023.08.054openalex-snapshot
A Huff-like location model with quality adjustment and/or closing of existing facilities
inferred← citeshttps://doi.org/10.1016/j.energy.2016.08.005openalex-snapshot
Performance improvement of a vertical axis wind turbine by comprehensive assessment of an airfoil family
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.12.033openalex-snapshot
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
inferred← citeshttps://doi.org/10.1016/j.ijar.2026.109767openalex-snapshot
Efficient acceleration strategies for interval branch-and-bound type methods
inferred← citeshttps://doi.org/10.1016/j.mechmachtheory.2024.105865openalex-snapshot
Certified kinematic tools for the design and control of parallel robots
inferred← citeshttps://doi.org/10.1016/j.omega.2011.02.007openalex-snapshot
Fixed or variable demand? Does it matter when locating a facility?
inferred← citeshttps://doi.org/10.1016/j.strusafe.2010.01.001openalex-snapshot
Interval Monte Carlo methods for structural reliability
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.09.062openalex-snapshot
The design of the Boost interval arithmetic library
inferred← citeshttps://doi.org/10.1016/s0022-0396(03)00186-4openalex-snapshot
Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof
inferred← citeshttps://doi.org/10.1016/s0024-3795(00)00127-0openalex-snapshot
An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
inferred← citeshttps://doi.org/10.1016/s0024-3795(00)00279-2openalex-snapshot
Computational error bounds for multiple or nearly multiple eigenvalues
inferred← citeshttps://doi.org/10.1016/s0378-4754(99)00003-8openalex-snapshot
Comparison of four software packages applied to a scattering problem
inferred← citeshttps://doi.org/10.1016/s0898-1221(99)00244-8openalex-snapshot
Solution of a transcendental eigenvalue problem via interval analysis
inferred← citeshttps://doi.org/10.1016/s0960-0779(98)00067-8openalex-snapshot
Exact Numerical Methods in Dynamical Systems Theory
inferred← citeshttps://doi.org/10.1017/s096249291000005xopenalex-snapshot
Verification methods: Rigorous results using floating-point arithmetic
inferred← citeshttps://doi.org/10.1023/a:1009921806032openalex-snapshot
Robust and Efficient Ray Intersection of Implicit Surfaces
inferred← citeshttps://doi.org/10.1023/a:1009936607335openalex-snapshot
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation
inferred← citeshttps://doi.org/10.1023/a:1009976505460openalex-snapshot
A Numerical Verification Method of Solutions for the Navier-Stokes Equations
inferred← citeshttps://doi.org/10.1023/a:1009988620481openalex-snapshot
The Interval-Enhanced GNU Fortran Compiler
inferred← citeshttps://doi.org/10.1023/a:1022374804152openalex-snapshot
Fast and Parallel Interval Arithmetic
inferred← citeshttps://doi.org/10.1023/a:1024731306785openalex-snapshot
Heuristic Rejection in Interval Global Optimization
inferred← citeshttps://doi.org/10.1023/b:numa.0000049454.47893.3copenalex-snapshot
Intrinsic Compiler Support for Interval Arithmetic
inferred← citeshttps://doi.org/10.1023/b:numa.0000049460.50984.b8openalex-snapshot
The GJK Distance Algorithm: An Interval Version for Incremental Motions
inferred← citeshttps://doi.org/10.1023/b:vlsi.0000017001.88149.f4openalex-snapshot
CORDIC Processor for Variable-Precision Interval Arithmetic
inferred← citeshttps://doi.org/10.1080/01630569908816910openalex-snapshot
An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
inferred← citeshttps://doi.org/10.1080/10556780902753452openalex-snapshot
ICOS: a branch and bound based solver for rigorous global optimization
inferred← citeshttps://doi.org/10.1080/10556788.2010.547581openalex-snapshot
Algorithmic differentiation techniques for global optimization in the COCONUT environment
inferred← citeshttps://doi.org/10.1080/10556788.2018.1435649openalex-snapshot
Mathematically rigorous global optimization in floating-point arithmetic
inferred← citeshttps://doi.org/10.1080/10618600.2000.10474882openalex-snapshot
An Interval Analysis Approach to the EM Algorithm
inferred← citeshttps://doi.org/10.1081/nfa-120014756openalex-snapshot
VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
inferred← citeshttps://doi.org/10.1088/1757-899x/501/1/012039openalex-snapshot
Verification of Solutions of Equations Governing Fluid Flows
inferred← citeshttps://doi.org/10.1109/12.859535openalex-snapshot
A family of variable-precision interval arithmetic processors
inferred← citeshttps://doi.org/10.1109/5.871308openalex-snapshot
Continuous-discrete interactions in chemical processing plants
inferred← citeshttps://doi.org/10.1109/8.537324openalex-snapshot
On a misconception involving point collocation and the Rayleigh hypothesis
inferred← citeshttps://doi.org/10.1109/acssc.1998.750857openalex-snapshot
A combined interval and floating-point divider
inferred← citeshttps://doi.org/10.1109/acssc.2005.1599987openalex-snapshot
A Combined Interval and Floating-Point Reciprocal Unit
inferred← citeshttps://doi.org/10.1109/aim.2005.1511073openalex-snapshot
Parameter synthesis for parallel kinematic machines from given process requirements
inferred← citeshttps://doi.org/10.1109/arith.1999.762844openalex-snapshot
Interval sine and cosine functions computation based on variable-precision CORDIC algorithm
inferred← citeshttps://doi.org/10.1109/asap.2002.1030720openalex-snapshot
A combined interval and floating-point comparator/selector
inferred← citeshttps://doi.org/10.1109/aspdac.2008.4483985openalex-snapshot
Faster projection based methods for circuit level verification
inferred← citeshttps://doi.org/10.1109/eidwt.2013.134openalex-snapshot
Error Analysis on Floating-Point Arithmetic in C Programming Language Library Functions
inferred← citeshttps://doi.org/10.1109/glsv.1998.665227openalex-snapshot
A combined interval and floating point multiplier
inferred← citeshttps://doi.org/10.1109/iccad.2011.6105363openalex-snapshot
A new method for multiparameter robust stability distribution analysis of linear analog circuits
inferred← citeshttps://doi.org/10.1109/iccd.1995.528942openalex-snapshot
A coprocessor for accurate and reliable numerical computations
inferred← citeshttps://doi.org/10.1109/iscas.2016.7527438openalex-snapshot
On the existence of chaos in the Chua's circuit with a smooth nonlinearity
inferred← citeshttps://doi.org/10.1109/iscas.2018.8351549openalex-snapshot
On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity
inferred← citeshttps://doi.org/10.1109/mcas.2013.2271444openalex-snapshot
The Dangers of Rounding Errors for Simulations and Analysis of Nonlinear Circuits and Systems?and How to Avoid Them
inferred← citeshttps://doi.org/10.1109/nafips.2016.7851616openalex-snapshot
Comparison of strategies for solving global optimization problems using speculation and interval computations
inferred← citeshttps://doi.org/10.1109/scan.2006.15openalex-snapshot
Efficient 16-bit Floating-Point Interval Processor for Embedded Systems and Applications
inferred← citeshttps://doi.org/10.1109/scan.2006.20openalex-snapshot
GRKLib: a Guaranteed Runge Kutta Library
inferred← citeshttps://doi.org/10.1109/scan.2006.28openalex-snapshot
Interval Tools for ODEs and DAEs
inferred← citeshttps://doi.org/10.1109/scan.2006.47openalex-snapshot
VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers
inferred← citeshttps://doi.org/10.1109/tcsi.2016.2613022openalex-snapshot
Rigorous Analysis of Chua’s Circuit With a Smooth Nonlinearity
inferred← citeshttps://doi.org/10.1109/tdei.2003.1176582openalex-snapshot
Range analysis in electroquasistatic field linear problems
inferred← citeshttps://doi.org/10.1109/tro.2017.2664888openalex-snapshot
Simulation of Discrete-Time Controlled Cable-Driven Parallel Robots on a Trajectory
inferred← citeshttps://doi.org/10.1115/1.4030609openalex-snapshot
Nonlinear Finite Element Analysis of Frames Under Interval Material and Load Uncertainty
inferred← citeshttps://doi.org/10.1137/070695599openalex-snapshot
A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
inferred← citeshttps://doi.org/10.1137/130906544openalex-snapshot
Certified Parallelotope Continuation for One-Manifolds
inferred← citeshttps://doi.org/10.1137/s0036142901392316openalex-snapshot
A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
inferred← citeshttps://doi.org/10.1137/s0036142994270995openalex-snapshot
A Comparison of some Methods for Solving Linear Interval Equations
inferred← citeshttps://doi.org/10.1137/s0895479801384561openalex-snapshot
Exclusion and Inclusion Regions for the Eigenvalues of a Normal Matrix
inferred← citeshttps://doi.org/10.1137/s1064827594266131openalex-snapshot
Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems
inferred← citeshttps://doi.org/10.1145/1141885.1141893openalex-snapshot
FILIB++, a fast interval library supporting containment computations
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.1145/1531542.1531593openalex-snapshot
A taylor series methodology for analyzing the effects of process variation on circuit operation
inferred← citeshttps://doi.org/10.1145/2331684.2331689openalex-snapshot
Interval function and its linear least-squares approximation
inferred← citeshttps://doi.org/10.1145/235815.235816openalex-snapshot
Algorithm 763: INTERVAL_ARITHMETIC
inferred← citeshttps://doi.org/10.1145/2493882openalex-snapshot
How do you compute the midpoint of an interval?
inferred← citeshttps://doi.org/10.1145/3745763openalex-snapshot
High-Order Continuous Geometrical Validity
inferred← citeshttps://doi.org/10.1145/3832810.3832828openalex-snapshot
VILIB++: High Performance C++ Library for Auto-Vectorizing Interval Arithmetic
inferred← citeshttps://doi.org/10.1177/0278364908096237openalex-snapshot
Real-time Bounded-error State Estimation for Vehicle Tracking
inferred← citeshttps://doi.org/10.14232/phd.10266openalex-snapshot
Design and Development of Global Optimization Methods with Applications
inferred← citeshttps://doi.org/10.14288/1.0051543openalex-snapshot
Voronoi diagrams of semi-algebraic sets
inferred← citeshttps://doi.org/10.1504/ijmic.2011.042347openalex-snapshot
An interval partitioning algorithm for constraint satisfaction problems
inferred← citeshttps://doi.org/10.1504/ijor.2010.033134openalex-snapshot
A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications
inferred← citeshttps://doi.org/10.1533/9780857099518.185openalex-snapshot
The SCCI-Hybrid Method for 2D-Curve Tracing
inferred← citeshttps://doi.org/10.1533/9780857099518.219openalex-snapshot
Interval Versions of Bernstein Polynomials, Bézier Curves and the de Casteljau Algorithm
inferred← citeshttps://doi.org/10.1533/9780857099518.241openalex-snapshot
Robust Computations of Selected Discrete Problems
inferred← citeshttps://doi.org/10.1533/9780857099518.79openalex-snapshot
The Exact Sign of Sum Algorithm (ESSA)
inferred← citeshttps://doi.org/10.15388/informatica.2005.090openalex-snapshot
Comparison of Packages for Interval Arithmetic
inferred← citeshttps://doi.org/10.15388/informatica.2010.279openalex-snapshot
Interval Arithmetic Based Optimization in Nonlinear Regression
inferred← citeshttps://doi.org/10.15517/rmta.v12i1-2.248openalex-snapshot
Interval Mathematics Applied to Critical Point Transitions
inferred← citeshttps://doi.org/10.18725/oparu-977openalex-snapshot
A novel interval method for validating state enclosures of the solution of initial value problems
inferred← citeshttps://doi.org/10.23919/ecc.1999.7099845openalex-snapshot
Approximating switched continuous systems by rectangular automata
inferred← citeshttps://doi.org/10.23919/ecc.2013.6669407openalex-snapshot
Guaranteed parameter estimation in nonlinear dynamic systems using improved bounding techniques
inferred← citeshttps://doi.org/10.2478/v10006-009-0037-zopenalex-snapshot
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
inferred← citeshttps://doi.org/10.32657/10356/6217openalex-snapshot
New interval partitioning algorithms for global optimization problems
inferred← citeshttps://doi.org/10.3850/978-981-08-5118-7_053openalex-snapshot
Interval Estimates of Structural Reliability
inferred← citeshttps://doi.org/10.4230/dagsemproc.06021.4openalex-snapshot
A Proposal to add Interval Arithmetic to the C++ Standard Library
inferred← citeshttps://doi.org/10.48550/arxiv.0908.3954openalex-snapshot
On the Exponentiation of Interval Matrices
showing the first 200 of 211 · page through all 211
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.