Amanote Research

Amanote Research

    RegisterSign In

Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven

IEEE Transactions on Computers - United States
doi 10.1109/tc.2008.200
Full Text
Open PDF
Abstract

Available in full text

Categories
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
Date

February 1, 2009

Authors
Sylvie Boldo
Publisher

Institute of Electrical and Electronics Engineers (IEEE)


Related search

LOCALPKI: A User-Centric Formally Proven Alternative to PKIX

2017English

A New Modulo Computation Algorithm

RAIRO - Operations Research
Management ScienceComputer Science ApplicationsOperations ResearchTheoretical Computer Science
1990English

A Rigorous Subexponential Algorithm for Computation of Class Groups

Journal of the American Mathematical Society
MathematicsApplied Mathematics
1989English

A New Algorithm for Trabecular Bone Thickness Computation at Low Resolution Achieved Under in Vivo Condition

2013English

Enhanced Computation Time for Fast Block Matching Algorithm

2011English

Selection of Core Animals in the Algorithm for Proven and Young Using a Simulation Model

Journal of Animal Breeding and Genetics
Animal ScienceZoologyFood AnimalsMedicine
2017English

Progress at Last for Consultants

BMJ
1977English

A Dynamic Critical Path Computation Algorithm for Enterprise Process Cooperative Scheduling

2010English

A Satisfactory Ruling at Last

Botanical Gazette
1888English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy