Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shiyu Yan
Richardson Extrapolation-Based Verification Method of Scientific Calculation Program Without the Oracles: A Case Study
Mathematical Problems in Engineering
Mathematics
Engineering
Related publications
A Local Grid Refinement Technique Based Upon Richardson Extrapolation
Applied Mathematical Modelling
Modeling
Applied Mathematics
Simulation
A Scientific Software Verification Library Based on the Method of Manufactured Solutions
Interpolation Strategies in Repeated Richardson Extrapolation
Journal of Intelligent and Fuzzy Systems
Engineering
Statistics
Probability
Artificial Intelligence
A Different Look at the Richardson Extrapolation Leading to a New Proposition
Certificate-Based Signature Schemes Without Pairings or Random Oracles
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asymptotic Analysis of a Generalized Richardson Extrapolation Process on Linear Sequences
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
Stochastic Perron’s Method and Verification Without Smoothness Using Viscosity Comparison: The Linear Case
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Study of the Geometrical Condition and a Calculation Method for the Minimum Zone Method. A Roundness Calculation Method Based on the Geometrical Condition.
Nippon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C
Mechanics of Materials
Industrial
Mechanical Engineering
Manufacturing Engineering
Applicability of the Richardson Method in a Complex-Energy Basis: Fermionic Case
Physical Review C
High Energy Physics
Nuclear
