On the public citation graph
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
0 signed · 165 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/11757283_8openalex-snapshot
Floating-Point Verification Using Theorem Proving
inferredcites →https://doi.org/10.1007/3-540-40922-x_14openalex-snapshot
Formal Verification of Floating Point Trigonometric Functions
inferredcites →https://doi.org/10.1007/978-1-4612-0073-4openalex-snapshot
An Introduction to Multivariable Analysis from Vector to Manifold
inferredcites →https://doi.org/10.1007/978-3-319-08867-9_18openalex-snapshot
Verifying Relative Error Bounds Using Symbolic Simulation
inferredcites →https://doi.org/10.1007/978-3-319-08867-9_7openalex-snapshot
SMACK: Decoupling Source Language Details from Verifier Implementations
inferredcites →https://doi.org/10.1007/978-3-319-19249-9_33openalex-snapshot
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-540-89330-1_2openalex-snapshot
A Sound Floating-Point Polyhedra Abstract Domain
inferredcites →https://doi.org/10.1007/978-3-642-02614-0_10openalex-snapshot
Combining Coq and Gappa for Certifying Floating-Point Programs
inferredcites →https://doi.org/10.1007/978-3-642-04570-7_6openalex-snapshot
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
inferredcites →https://doi.org/10.1007/978-3-642-38088-4_26openalex-snapshot
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
inferredcites →https://doi.org/10.1007/978-3-642-38088-4_31openalex-snapshot
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
inferredcites →https://doi.org/10.1007/978-3-642-38574-2_14openalex-snapshot
dReal: An SMT Solver for Nonlinear Theories over the Reals
inferredcites →https://doi.org/10.1007/978-3-642-54108-7_17openalex-snapshot
A Formally Verified Generic Branching Algorithm for Global Optimization
inferredcites →https://doi.org/10.1007/s10009-016-0435-0openalex-snapshot
Improving the numerical accuracy of programs by automatic transformation
inferredcites →https://doi.org/10.1007/s10515-014-0154-2openalex-snapshot
Verifying floating-point programs with constraint programming and abstract interpretation techniques
inferredcites →https://doi.org/10.1007/s10817-012-9255-4openalex-snapshot
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program
inferredcites →https://doi.org/10.1007/s10817-014-9317-xopenalex-snapshot
Verified Compilation of Floating-Point Computations
inferredcites →https://doi.org/10.1007/s10990-006-8608-2openalex-snapshot
Semantics of roundoff error propagation in finite precision calculations
inferredcites →https://doi.org/10.1016/j.entcs.2015.10.010openalex-snapshot
A Parameterized Floating-Point Formalizaton in HOL Light
inferredcites →https://doi.org/10.1016/j.ic.2011.09.005openalex-snapshot
Floating-point arithmetic in the Coq system
inferredcites →https://doi.org/10.1016/j.jlap.2004.07.008openalex-snapshot
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
inferredcites →https://doi.org/10.1017/s0962492904000194openalex-snapshot
Complete search in continuous global optimization and constraint satisfaction
inferredcites →https://doi.org/10.1080/10556780902753452openalex-snapshot
ICOS: a branch and bound based solver for rigorous global optimization
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/arith.2011.40openalex-snapshot
Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq
inferredcites →https://doi.org/10.1109/fmcad.2009.5351141openalex-snapshot
Mixed abstractions for floating-point arithmetic
inferredcites →https://doi.org/10.1109/ieeestd.2008.4610935openalex-snapshot
IEEE Standard for Floating-Point Arithmetic
inferredcites →https://doi.org/10.1109/synasc.2011.52openalex-snapshot
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations
inferredcites →https://doi.org/10.1109/synasc.2013.33openalex-snapshot
Certified, Efficient and Sharp Univariate Taylor Models in COQ
inferredcites →https://doi.org/10.1109/synasc.2013.35openalex-snapshot
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving
inferredcites →https://doi.org/10.1117/12.505591openalex-snapshot
CR-LIBM: a correctly rounded elementary function library
inferredcites →https://doi.org/10.1145/103162.103163openalex-snapshot
What every computer scientist should know about floating-point arithmetic
inferredcites →https://doi.org/10.1145/143242.143332openalex-snapshot
An approach for floating-point error analysis using computer algebra
inferredcites →https://doi.org/10.1145/1480945.1480960openalex-snapshot
Program transformation for numerical precision
inferredcites →https://doi.org/10.1145/1644001.1644003openalex-snapshot
Certification of bounds on expressions involving rounded operators
inferredcites →https://doi.org/10.1145/1772954.1772987openalex-snapshot
Towards program optimization through automated analysis of numerical precision
inferredcites →https://doi.org/10.1145/2048066.2048094openalex-snapshot
Trustworthy numerical computation in Scala
inferredcites →https://doi.org/10.1145/2429069.2429133openalex-snapshot
Automatic detection of floating-point exceptions
inferredcites →https://doi.org/10.1145/2493882openalex-snapshot
How do you compute the midpoint of an interval?
inferredcites →https://doi.org/10.1145/2555243.2555265openalex-snapshot
Efficient search for inputs causing high floating-point errors
inferredcites →https://doi.org/10.1145/2642937.2642940openalex-snapshot
Taming test inputs for separation assurance
inferredcites →https://doi.org/10.1145/2737924.2737959openalex-snapshot
Automatically improving accuracy for floating point expressions
inferredcites →https://doi.org/10.1145/2837614.2837654openalex-snapshot
Printing floating-point numbers: a faster, always correct method
inferredcites →https://doi.org/10.1145/2908080.2908107openalex-snapshot
Verifying bit-manipulations of floating-point
inferredcites →https://doi.org/10.1145/3009837.3009846openalex-snapshot
Rigorous floating-point mixed-precision tuning
inferredcites →https://doi.org/10.1145/3015465openalex-snapshot
Certified Roundoff Error Bounds Using Semidefinite Programming
inferredcites →https://doi.org/10.1145/355719.355721openalex-snapshot
Automatic Error Analysis Using Computer Algebraic Manipulation
inferredcites →https://doi.org/10.13140/rg.2.2.34553.08800openalex-snapshot
Implementing an interval computation library for OCaml on x86/AMD64 architectures
inferredcites →https://doi.org/10.3233/978-1-61499-098-7-55openalex-snapshot
Finding and Proving the Optimum: Cooperative Stochastic and Deterministic Search
inferredcites →https://doi.org/10.5540/tema.2003.04.03.0297openalex-snapshot
An Introduction to Affine Arithmetic
inferredcites →https://doi.org/10.5555/1946284.1946301openalex-snapshot
Static analysis of finite precision computations
inferredcites →https://doi.org/10.5555/2616606.2616749openalex-snapshot
Make it real: effective floating-point reasoning via exact arithmetic
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-030-58475-7_37openalex-snapshot
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors
inferred← citeshttps://doi.org/10.1007/978-3-030-63618-0_12openalex-snapshot
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations
inferred← citeshttps://doi.org/10.1007/978-3-030-67067-2_12openalex-snapshot
Runtime Abstract Interpretation for Numerical Accuracy and Robustness
inferred← citeshttps://doi.org/10.1007/978-3-030-77961-0_61openalex-snapshot
Error Estimation and Correction Using the Forward CENA Method
inferred← citeshttps://doi.org/10.1007/978-3-030-81688-9_29openalex-snapshot
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
inferred← citeshttps://doi.org/10.1007/978-3-030-86976-2_12openalex-snapshot
A Study of the Floating-Point Tuning Behaviour on the N-body Problem
inferred← citeshttps://doi.org/10.1007/978-3-030-88806-0_9openalex-snapshot
Exploiting Verified Neural Networks via Floating Point Numerical Error
inferred← citeshttps://doi.org/10.1007/978-3-030-92124-8_25openalex-snapshot
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-030-99524-9_16openalex-snapshot
Inferring Interval-Valued Floating-Point Preconditions
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_39openalex-snapshot
Approximate Translation from Floating-Point to Real-Interval Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-031-13188-2_19openalex-snapshot
SMT-Based Translation Validation for Machine Learning Compiler
inferred← citeshttps://doi.org/10.1007/978-3-031-15077-7_3openalex-snapshot
Synthesis of Rigorous Floating-Point Predicates
inferred← citeshttps://doi.org/10.1007/978-3-031-17108-6_2openalex-snapshot
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers
inferred← citeshttps://doi.org/10.1007/978-3-031-33170-1_10openalex-snapshot
Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_17openalex-snapshot
Scaling up Roundoff Analysis of Functional Data Structure Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_4openalex-snapshot
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8_16openalex-snapshot
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
inferred← citeshttps://doi.org/10.1007/978-3-031-93706-4_21openalex-snapshot
An SMT Formalization of Mixed-Precision Matrix Multiplication
inferred← citeshttps://doi.org/10.1007/978-3-031-98679-6_6openalex-snapshot
A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
inferred← citeshttps://doi.org/10.1007/978-3-032-04890-5_34openalex-snapshot
Real Function Approximation Around a Point with Taylor Polynomials Using Custom Machine Code
inferred← citeshttps://doi.org/10.1007/978-3-032-22749-2_1openalex-snapshot
Verifying Floating-Point Programs in Stainless
inferred← citeshttps://doi.org/10.1007/978-3-032-30693-7_12openalex-snapshot
RealSanitizer: Detecting Floating-Point Errors via a Dynamic Precision Oracle
inferred← citeshttps://doi.org/10.1007/s11227-020-03469-7openalex-snapshot
Error detection of arithmetic expressions
inferred← citeshttps://doi.org/10.1007/s11227-023-05523-6openalex-snapshot
Hierarchical search algorithm for error detection in floating-point arithmetic expressions
inferred← citeshttps://doi.org/10.1016/j.jgsce.2023.205117openalex-snapshot
Risks and uncertainties in carbon capture, transport, and storage projects: A comprehensive review
inferred← citeshttps://doi.org/10.1016/j.sna.2021.113123openalex-snapshot
Maximizing energy efficiency of variable stiffness actuators through an interval-based optimization framework
inferred← citeshttps://doi.org/10.1049/2023/6681267openalex-snapshot
Detecting Floating‐Point Expression Errors Based Improved PSO Algorithm
inferred← citeshttps://doi.org/10.1109/access.2025.3557505openalex-snapshot
An Effective Genetic Algorithm for Mixed Precision
inferred← citeshttps://doi.org/10.1109/apsec65559.2024.00044openalex-snapshot
Sound Floating-Point Neural Network Verification with MILP
inferred← citeshttps://doi.org/10.1109/arith.2017.36openalex-snapshot
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
inferred← citeshttps://doi.org/10.1109/arith.2019.00014openalex-snapshot
Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials
inferred← citeshttps://doi.org/10.1109/arith58626.2023.00021openalex-snapshot
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs
inferred← citeshttps://doi.org/10.1109/arith58626.2023.00026openalex-snapshot
Slimmer Formal Proofs for Mathematical Libraries
inferred← citeshttps://doi.org/10.1109/arith61463.2024.00025openalex-snapshot
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00139openalex-snapshot
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00016openalex-snapshot
When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs
inferred← citeshttps://doi.org/10.1109/cgo51591.2021.9370307openalex-snapshot
An Interval Compiler for Sound Floating-Point Computations
inferred← citeshttps://doi.org/10.1109/cgo53902.2022.9741286openalex-snapshot
A Compiler for Sound Floating-Point Computations using Affine Arithmetic
inferred← citeshttps://doi.org/10.1109/cluster48925.2021.00055openalex-snapshot
Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation
inferred← citeshttps://doi.org/10.1109/ieeeconf44664.2019.9048893openalex-snapshot
A Probabilistic Approach to Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1109/iotais50849.2021.9359700openalex-snapshot
Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices
inferred← citeshttps://doi.org/10.1109/ipdps54959.2023.00105openalex-snapshot
Fast And Automatic Floating Point Error Analysis With CHEF-FP
inferred← citeshttps://doi.org/10.1109/islped58423.2023.10244539openalex-snapshot
Multi-Objective Optimization for Floating Point Mix-Precision Tuning
inferred← citeshttps://doi.org/10.1109/ispass55109.2022.00021openalex-snapshot
VIPP: Validation-Included Precision-Parametric N-Body Benchmark Suite
inferred← citeshttps://doi.org/10.1109/jcc72984.2026.00064openalex-snapshot
SNIPER: Structural Navigation via Intelligent Policy for Floating-Point Error Revelation
inferred← citeshttps://doi.org/10.1109/qrs65678.2025.00047openalex-snapshot
Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search
inferred← citeshttps://doi.org/10.1109/sc41405.2020.00055openalex-snapshot
Scalable yet Rigorous Floating-Point Error Analysis
inferred← citeshttps://doi.org/10.1109/scw63240.2024.00027openalex-snapshot
Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00086openalex-snapshot
SiRnn: A Math Library for Secure RNN Inference
inferred← citeshttps://doi.org/10.1109/static66697.2025.00006openalex-snapshot
FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis
inferred← citeshttps://doi.org/10.1109/tse.2026.3703362openalex-snapshot
ICE: Reducing Search Space for Error-Inducing Input Detection
inferred← citeshttps://doi.org/10.1117/12.2683198openalex-snapshot
A dynamic program analysis-based method for floating-point program precision loss detection
inferred← citeshttps://doi.org/10.1145/3371128openalex-snapshot
Detecting floating-point errors via atomic conditions
inferred← citeshttps://doi.org/10.1145/3382037openalex-snapshot
Keeping science on keel when software moves
inferred← citeshttps://doi.org/10.1145/3395363.3397382openalex-snapshot
Testing high performance numerical simulation programs: experience, lessons learned, and open issues
inferred← citeshttps://doi.org/10.1145/3410875openalex-snapshot
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
inferred← citeshttps://doi.org/10.1145/3460319.3464808openalex-snapshot
Interval constraint-based mutation testing of numerical specifications
inferred← citeshttps://doi.org/10.1145/3466752.3480131openalex-snapshot
The Laplace Microarchitecture for Tracking Data Uncertainty and Its Implementation in a RISC-V Processor
inferred← citeshttps://doi.org/10.1145/3477012openalex-snapshot
Regime Inference for Sound Floating-Point Optimizations
inferred← citeshttps://doi.org/10.1145/3485515openalex-snapshot
Dynaplex: analyzing program complexity using dynamically inferred recurrence relations
inferred← citeshttps://doi.org/10.1145/3519939.3523452openalex-snapshot
Choosing mathematical function implementations for speed and accuracy
inferred← citeshttps://doi.org/10.1145/3520313.3534655openalex-snapshot
BinFPE: accurate floating-point exception detection for GPU applications
inferred← citeshttps://doi.org/10.1145/3524059.3532377openalex-snapshot
Efficiently emulating high-bitwidth computation with low-bitwidth hardware
inferred← citeshttps://doi.org/10.1145/3543670openalex-snapshot
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover
inferred← citeshttps://doi.org/10.1145/3563322openalex-snapshot
Oracle-free repair synthesis for floating-point programs
inferred← citeshttps://doi.org/10.1145/3563353openalex-snapshot
Fast shadow execution for debugging numerical errors using error free transformations
inferred← citeshttps://doi.org/10.1145/3589250openalex-snapshot
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
inferred← citeshttps://doi.org/10.1145/3589250.3596144openalex-snapshot
Combining E-Graphs with Abstract Interpretation
inferred← citeshttps://doi.org/10.1145/3597503.3623338openalex-snapshot
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning
inferred← citeshttps://doi.org/10.1145/3627535.3638484openalex-snapshot
A Holistic Approach to Automatic Mixed-Precision Code Generation and Tuning for Affine Programs
inferred← citeshttps://doi.org/10.1145/3632874openalex-snapshot
Implementation and Synthesis of Math Library Functions
inferred← citeshttps://doi.org/10.1145/3636501.3636953openalex-snapshot
VCFloat2: Floating-Point Error Analysis in Coq
inferred← citeshttps://doi.org/10.1145/3650212.3680378openalex-snapshot
Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
inferred← citeshttps://doi.org/10.1145/3656456openalex-snapshot
Numerical Fuzz: A Type System for Rounding Error Analysis
inferred← citeshttps://doi.org/10.1145/3669940.3707277openalex-snapshot
Target-Aware Implementation of Real Expressions
inferred← citeshttps://doi.org/10.1145/3689609.3689997openalex-snapshot
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
inferred← citeshttps://doi.org/10.1145/3689764openalex-snapshot
FPCC: Detecting Floating-Point Errors via Chain Conditions
inferred← citeshttps://doi.org/10.1145/3708821.3733913openalex-snapshot
Pay What You Spend! Privacy-Aware Real-Time Pricing with High Precision IEEE 754 Floating Point Division
inferred← citeshttps://doi.org/10.1145/3715104openalex-snapshot
Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators
inferred← citeshttps://doi.org/10.1145/3721145.3730432openalex-snapshot
Light-FP: Analyze Floating-Point Error in a Highly Condensed Approach
inferred← citeshttps://doi.org/10.1145/3725899.3725922openalex-snapshot
AutoFPIR: A Automatic Conversion Tool for Floating-point Program to Equivalent Intermediate Representation
inferred← citeshttps://doi.org/10.1145/3729324openalex-snapshot
Bean: A Language for Backward Error Analysis
inferred← citeshttps://doi.org/10.1145/3731599.3767479openalex-snapshot
CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations
inferred← citeshttps://doi.org/10.1145/3763088openalex-snapshot
Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers
inferred← citeshttps://doi.org/10.1145/3763137openalex-snapshot
Cost of Soundness in Mixed-Precision Tuning
inferred← citeshttps://doi.org/10.1145/3770066openalex-snapshot
An Exchange Algorithm for Optimizing Both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations
inferred← citeshttps://doi.org/10.1145/3773992openalex-snapshot
A Study of Floating-Point Precision Tuning in Deep Learning Operators Implementations
inferred← citeshttps://doi.org/10.1145/3832291openalex-snapshot
Mathematically-Guided Detection of Floating-Point Errors
inferred← citeshttps://doi.org/10.14569/ijacsa.2019.0101058openalex-snapshot
Static Analysis on Floating-Point Programs Dealing with Division Operations
inferred← citeshttps://doi.org/10.23919/ecc57647.2023.10178283openalex-snapshot
Formal Verification of a Controller Implementation in Fixed-Point Arithmetic
inferred← citeshttps://doi.org/10.29007/tflsopenalex-snapshot
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
inferred← citeshttps://doi.org/10.48550/arxiv.1911.10930openalex-snapshot
Abstract Compilation for Verification of Numerical Accuracy Properties
inferred← citeshttps://doi.org/10.48550/arxiv.2004.11960openalex-snapshot
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis
inferred← citeshttps://doi.org/10.70675/56469ad9zdcddz4491z93eez3cf5ab6ee35fopenalex-snapshot
Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintes
inferred← citeshttps://doi.org/10.70675/803eac26z5cfez4fd0zb3b2zc751c148ba86openalex-snapshot
Outils de débogage et d'optimisation des calculs flottants dans le contexte HPC
inferred← citeshttps://doi.org/10.70675/82d78149z919cz4559z92e6z4f6a5508bb52openalex-snapshot
Mixed precision for High Performance Computing, application to low energy gamma radiation measurements
inferred← citeshttps://doi.org/10.70675/8cf8b26fz5603z4b78za4b9zd8171c8b983aopenalex-snapshot
Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique
inferred← citeshttps://doi.org/10.70675/acaf214bz951ez4360za718z0aba8b1bb53fopenalex-snapshot
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle
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.