Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,302 papers from all fields of science
Search
Sign In
Create Free Account
Integer square root
Known as:
Isqrt
In number theory, the integer square root (isqrt) of a positive integer n is the positive integer m which is the greatest integer less than or equal…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Fixed point (mathematics)
Floor and ceiling functions
List of numerical analysis topics
Methods of computing square roots
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Approximate Computing in Coarse Grained Reconfigurable Architecture
Lincoln Kinley
2019
Corpus ID: 196180029
Approximate computing has emerged as a new computing paradigm capable of reducing the power requirements for or accelerating some…
Expand
2017
2017
Pipelined Implementation of a Fixed-Point Square Root Core Using Non-Restoring and Restoring Algorithm
Vyom Sharma
2017
Corpus ID: 67402383
Arithmetic Square Root is one of the most complex but nevertheless widely used operations in modern computing. A primary reason…
Expand
2016
2016
Formal Model-Based Constraint Solving and Document Generation
M. Leuschel
Brazilian Symposium on Formal Methods
2016
Corpus ID: 28695177
Constraint solving technology for formal models has made considerable progress in the last years, and has lead to many…
Expand
2012
2012
A fast and compact circuit for integer square root computation based on Mitchell logarithmic method
Joshua Yung Lih Low
,
C. Jong
,
Jeremy Yung Shern Low
,
Thian Fatt Tay
,
Chip-Hong Chang
IEEE International Symposium on Circuits and…
2012
Corpus ID: 1781332
A novel non-iterative circuit for computing integer square root based on logarithm is proposed in the paper. Mitchell's methods…
Expand
2012
2012
Operation of Integer Square Root Based on FPGA
Zheng Xian-cheng
2012
Corpus ID: 64288884
When FPGA is used as a control chip in generator control,the operation of three-phase virtual value is necessary,and the…
Expand
Review
2005
Review
2005
Perspex machine II: visualization
James Anderson
IS&T/SPIE Electronic Imaging
2005
Corpus ID: 59321581
We review the perspex machine and improve it by reducing its halting conditions to one condition. We also introduce a data…
Expand
1993
1993
The integer square root of N via a binary search
T. F. Higginbotham
SGCS
1993
Corpus ID: 28861487
An algorithm is presented which may be used to find the integer square root of N. The method is intended for use on a binary…
Expand
1991
1991
A fast method for finding an integer square root
Ken Lyons
FORTH '90 and '91
1991
Corpus ID: 36562384
ABSTUCE 17u3 paper describes a fmt algorithm for obtaining the square root of an unsigned integer. Although the algorithm is not…
Expand
1991
1991
AN INTEGER SQUARE ROOT ALGORITHM
C. Musial
1991
Corpus ID: 123835460
1984
1984
PVS - design for a practical verification system
C. Applebaum
,
James G. Williams
ACM '84
1984
Corpus ID: 6966694
In this paper we present a new and practical approach to program verification based on the transformational program development…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE