Search results for "SQuaRE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Tomás Lang, Elisardo Antelo	Radix-4 Reciprocal Square-Root and Its Combination with Division and Square Root.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Combined division, reciprocal square root, exact rounding, staircase selection function, square root, digit-recurrence algorithm
64	José-Alejandro Piñeiro, Javier D. Bruguera	High-Speed Double-Precision Computation of Reciprocal, Division, Square Root and Inverse Square Root.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Goldschmidt iteration, table-based methods, double-precision operations, inverse square root, Computer arithmetic, division, square root
61	John B. Polhill	New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 05B10
59	Miriam Leeser, John W. O'Leary	Verification of a subtractive radix-2 square root algorithm and implementation.	ICCD	1995	DBLP DOI BibTeX RDF	subtractive radix-2 square root, floating point square root hardware, Intel Pentium, radix-2 square root, MIPS R4400, RTL level, verification, formal verification, theorem proving, theorem proving, floating point arithmetic, optimizing transformations
54	Zhengyu Li 0002, Curtis Bright, Vijay Ganesh	An SC-Square Approach to the Minimum Kochen-Specker Problem.	SC-Square@FLoC	2022	DBLP BibTeX RDF
54	Matthew England 0001	SC-Square: Future Progress with Machine Learning? (invited paper).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
54	Matthew England 0001	SC-Square: Overview to 2021 (invited paper).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
54	Andreas Weber 0004	SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper).	SC-square@SIAM AG	2019	DBLP BibTeX RDF
51	Vidhyacharan Bhaskar	Finite-state Markov Model for Lognormal, Chi-square (Central), Chi-square (Non-central), and K -distributions.	Int. J. Wirel. Inf. Networks	2007	DBLP DOI BibTeX RDF	Chi-square (central) distribution, Chi-square (non-central) distribution, Level crossing rate, Average fade duration, Lognormal distribution, K-distribution
51	Milos D. Ercegovac, Laurent Imbert, David W. Matula, Jean-Michel Muller, Guoheng Wei	Improving Goldschmidt Division, Square Root, and Square Root Reciprocal.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	square root reciprocal, convergence division, Goldschmidt iteration, computer arithmetic, Division, square root
51	Milos D. Ercegovac, Tomás Lang, Jean-Michel Muller, Arnaud Tisserand	Reciprocation, Square Root, Inverse Square Root, and Some Elementary Functions Using Small Multipliers.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	inverse square root, single-/double-precision operations, small multipliers, exponential, square root, Reciprocal, logarithm, Taylor series
51	Hosahalli R. Srinivas, Keshab K. Parhi	A floating point radix 2 shared division/square root chip.	ICCD	1995	DBLP DOI BibTeX RDF	floating point radix 2 shared division/square root chip, full-custom 1.2 micron CMOS VLSI chip, single precision IEEE 754 std. floating point numbers, square root algorithm, digit-by-digit schemes, quotient/root digit selection, 5.0 V, 66 MHz, VLSI, floating point arithmetic, CMOS integrated circuits, IEEE standards, dividing circuits, 1.2 micron, division algorithm
47	Michael J. Schulte, Kent E. Wires	High-Speed Inverse Square Roots.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF	inverse square roots, truncated multiplication, squaring units, computer arithmetic, error analysis, VLSI design, Function approximation
45	Erika Ábrahám, Thomas Sturm 0001 (eds.)	Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
45	Ali Kemal Uncu, Haniel Barbosa (eds.)	Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022.	SC-Square@FLoC	2023	DBLP BibTeX RDF
45	Yameen Ajani, Curtis Bright	A Hybrid SAT and Lattice Reduction Approach for Integer Factorization.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
45	Martin Brain, Jacob M. Howe	Widening for Systems of Two Variables Per Inequality.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
45	André Platzer	Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract).	SC-Square@ISSAC	2023	DBLP BibTeX RDF
45	Christopher W. Brown 0001, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez	Towards Detection of Partial Truth via Real Geometry.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
45	Tereso del Río, Matthew England 0001	Data Augmentation for Mathematical Objects.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
45	Haniel Barbosa	Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper).	SC-Square@ISSAC	2023	DBLP BibTeX RDF
45	Curtis Bright, James H. Davenport (eds.)	Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021.	SC-Square@SIAM AG	2022	DBLP BibTeX RDF
45	Bogdan David, Madalina Erascu	Automatic Deployment of Component-based Applications in the Cloud (short paper).	SC-Square@FLoC	2022	DBLP BibTeX RDF
45	Daniel Dallaire, Curtis Bright	Enumerating Projective Planes of Order Nine with Proof Verification.	SC-Square@FLoC	2022	DBLP BibTeX RDF
45	Ali Kemal Uncu, James H. Davenport, Matthew England 0001	SMT-Solving Induction Proofs of Inequalities.	SC-Square@FLoC	2022	DBLP BibTeX RDF
45	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Decidability of difference logics with unary predicates.	SC-Square@FLoC	2022	DBLP BibTeX RDF
45	Gereon Kremer, Jasper Nalbach	Cylindrical Algebraic Coverings for Quantifiers (short paper).	SC-Square@FLoC	2022	DBLP BibTeX RDF
45	Akshar S. Nair, James H. Davenport, Gregory Sankaran	Equational Constraints, the Lazard Projection and the Curtain Problem (short paper).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
45	Vijay Ganesh	Logic Solvers and Machine Learning: The Next Frontier (keynote abstract).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
45	James H. Davenport, Zak Tonks, Ali Kemal Uncu	Practical Evaluation of Quantifier Elimination Methods (short paper).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
45	Michela Ceria, Samuel Lundqvist, Ferdinando Mora	Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
45	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
45	James H. Davenport	Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition.	SC-Square@SIAM AG	2021	DBLP BibTeX RDF
45	John Abbott, Alberto Griggio (eds.)	Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019.	SC-square@SIAM AG	2019	DBLP BibTeX RDF
45	Gereon Kremer, Erika Ábrahám, Vijay Ganesh	On the Proof Complexity of MCSAT.	SC-square@SIAM AG	2019	DBLP BibTeX RDF
45	Akshar Nair, James H. Davenport, Gregory Sankaran	On Benefits of Equality Constraints in Lex-Least Invariant CAD.	SC-square@SIAM AG	2019	DBLP BibTeX RDF
45	Jasper Nalbach, Gereon Kremer, Erika Ábrahám	On Variable Orderings in MCSAT for Non-Linear Real Arithmetic.	SC-square@SIAM AG	2019	DBLP BibTeX RDF
45	Zak Tonks	Evolutionary Virtual Term Substitution in a Quantifier Elimination System.	SC-square@SIAM AG	2019	DBLP BibTeX RDF
45	Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer	Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.	SC-square@SIAM AG	2019	DBLP BibTeX RDF
45	Dorian Florescu, Matthew England 0001	Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning.	SC-square@SIAM AG	2019	DBLP BibTeX RDF
45	Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani	Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.	SC-square@SIAM AG	2019	DBLP BibTeX RDF
45	John Abbott, Anna Maria Bigatti, Elisa Palezzato	New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square.	SC-Square@FLOC	2018	DBLP BibTeX RDF
43	Jimmy Shinn-Hwa Wang, Wayne Wei-Ming Dai	Transformation of min-max optimization to least-square estimation and application to interconnect design optimization.	ICCD	1995	DBLP DOI BibTeX RDF	min-max optimization transformation, interconnect design optimization, tighter bound, circuit layout CAD, minimisation, least squares approximations, multichip modules, multichip modules, least-square estimation, minimax techniques
39	Ashok K. Murugavel, N. Ranganathan, Ramamurti Chandramouli, Srinath Chavali	Average Power in Digital CMOS Circuits using Least Square Estimation.	VLSI Design	2001	DBLP DOI BibTeX RDF
39	Xinwang Liu 0002, Guomin Zhang, Yubin Zhan, En Zhu	An Incremental Feature Learning Algorithm Based on Least Square Support Vector Machine.	FAW	2008	DBLP DOI BibTeX RDF	Support Vector Machine, Incremental Learning, Least Square Support Vector Machine
39	Wen Ji, Lei Hu	Square Attack on Reduced-Round Zodiac Cipher.	ISPEC	2008	DBLP DOI BibTeX RDF	Zodiac, square attack, block cipher
39	Peter Kornerup	Digit Selection for SRT Division and Square Root.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Digit selection, division, square root
39	Gensoh Matsubara, Nobuhiro Ide, Haruyuki Tago, Seigo Suzuki, Nobuyuki Goto	30-ns 55-b Radix 2 Division and Square Root Using a Self-Timed Circuit.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	simulation, CMOS, division, square root, self-timed, SRT, on-the-fly
38	Rui Zhang, Wenjian Wang, Yi-Chen Ma, Changqian Men	Least Square Transduction Support Vector Machine.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Least square transduction support vector machine, Transductive support vector machine, Semi-supervised learning, Supervised learning, Least square support vector machine
36	Anna Maria Bigatti, Martin Brain (eds.)	Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Tudor Jebelean	Techniques for Natural-style Proofs in Elementary Analysis.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England 0001, Zak Tonks	Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, To Van Khanh, Xuan-Tung Vu	Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Jan Horácek, Martin Kreuzer	Refutation of Products of Linear Polynomials.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Ilias S. Kotsireas	Hard Combinatorial Problems: A Challenge for Satisfiability.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Syed Mohammad Meesum, T. V. H. Prathamesh	Unknot Recognition Through Quantifier Elimination.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Rebecca Haehn, Gereon Kremer, Erika Ábrahám	Evaluation of Equational Constraints for CAD in SMT Solving.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Alexander I. Cowen-Rivers, Matthew England 0001	Towards Incremental Cylindrical Algebraic Decomposition in Maple.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Stephen A. Forrest	SMT-like Queries in Maple.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer	Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.	SC-Square@FLOC	2018	DBLP BibTeX RDF
36	Daniela Ritirc, Armin Biere, Manuel Kauers	A Practical Polynomial Calculus for Arithmetic Circuit Verification.	SC-Square@FLOC	2018	DBLP BibTeX RDF
35	Semih Aslan, Erdal Oruklu, Jafar Saniie	Realization of area efficient QR factorization using unified division, square root, and inverse square root hardware.	EIT	2009	DBLP DOI BibTeX RDF
35	Cristina Iordache, David W. Matula	On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
35	Francisco Rodríguez-Henríquez, Guillermo Morales-Luna, Julio César López-Hernández	Low-Complexity Bit-Parallel Square Root Computation over GF(2^{m}) for All Trinomials.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Computations in finite fields, Algorithms, Computer arithmetic
35	Jingxin Nie, Tianming Liu 0001, Geoffrey S. Young, Lei Guo 0002, Stephen T. C. Wong	Least square conformal mapping with spring energy.	ISBI	2006	DBLP DOI BibTeX RDF
35	Ashok K. Murugavel, N. Ranganathan, Ramamurti Chandramouli, Srinath Chavali	Least-square estimation of average power in digital CMOS circuits.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
34	Feliu Sagols, Raúl Marín	The Inscribed Square Conjecture in the Digital Plane.	IWCIA	2009	DBLP DOI BibTeX RDF	Inscribed Square Conjecture, Jordan Curve Theorem, simple closed digital curves, digital topology
34	Milos D. Ercegovac, Jean-Michel Muller	Complex Square Root with Operand Prescaling.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	complex square-root, operand prescaling, computer arithmetic, digit-recurrence algorithm
34	Kent E. Wires, Michael J. Schulte	Reciprocal and Reciprocal Square Root Units with Operand Modification and Multiplication.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	reciprocal square root, Newton-Raphson iteration, computer arithmetic, function approximation, table lookup, reciprocal
34	Swee-Huay Heng, Kaoru Kurosawa	Square Hash with a Small Key Size.	ACISP	2003	DBLP DOI BibTeX RDF	square hash, Message authentication codes, universal hash
34	Elisardo Antelo, Tomás Lang, Javier D. Bruguera	Computation of sqrt(x/d) in a Very High Radix Combined Division/Square-Root Unit with Scaling.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	high-radix methods, inverse square-root, division, square-root, Digit-recurrence algorithm
34	Tomás Lang, Paolo Montuschi	Higher Radix Square Root with Prescaling.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	higher radix square root, radicand, result-digit selection, double-precision square root, complexity, pipelining, online algorithms, digital arithmetic, multiplication, division, multiplying circuits, number theory, prescaling, dividing circuits
33	Boris Aronov, Tetsuo Asano, Yosuke Kikuchi, Subhas C. Nandy, Shinji Sasahara, Takeaki Uno	A Generalization of Magic Squares with Applications to Digital Halftoning.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Magic square, Matrix, Discrepancy, Digital halftoning, Latin square
33	John Lloyd	Parallel Formulations of Matrix-Vector Multiplication for Matrices with Large Aspect Ratios.	PDP	1996	DBLP DOI BibTeX RDF	parallel formulations, large aspect ratio matrices, square matrices, square meshes, wraparound connections, parallel algorithms, parallel algorithms, parallel architectures, parallel architectures, partitioning, hypercubes, hypercube networks, matrix multiplication, communication overhead, matrix-vector multiplication
33	Hossam Osman, Moustafa M. Fahmy	On the Discriminatory Power of Adaptive Feed-Forward Layered Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	discriminatory power, adaptive feedforward layered networks, linear-output networks, mean-square classifiers, mean-square error minimisation, familiar discriminant criterion, final hidden layer, feature extraction criterion, target coding scheme, pattern recognition, feature extraction, pattern classification, Bayes methods, discriminant analysis, feedforward neural nets
31	Yachen Lin, Chung Chen	Computation of Least Square Estimates Without Matrix Manipulation.	CASDMKM	2004	DBLP DOI BibTeX RDF
31	Wanming Chu, Yamin Li	Cost/Performance Tradeoff of n-Select Square Root Implementations.	ACAC	2000	DBLP DOI BibTeX RDF
31	Daisuke Takahashi	Implementation of Multiple-Precision Parallel Division and Square Root on Distributed-Memory Parallel Computers.	ICPP Workshops	2000	DBLP DOI BibTeX RDF
31	Kari J. Nurmela, Patric R. J. Östergård	Packing up to 50 Equal Circles in a Square.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
31	Shu Hung Leung, Chi Fuk So	Gradient-based variable forgetting factor RLS algorithm in time-varying environments.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
30	Lina Yao, Hong Wang 0001	Robust fault diagnosis for non-Gaussian stochastic systems based on the rational square-root approximation model.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	SDC systems, output probability density functions (PDFs), robust fault detection and diagnosis, rational square-root B-spline functions
30	Zeqing Yang, Libing Liu, Weiling Liu, Weidong Yang	Research of CT / MRI Tumor Image Registration Based on Least Square Support Vector Machines.	ICIC (1)	2008	DBLP DOI BibTeX RDF	MRI Image, Transformation Model Estimation, Image Registration, CT Image, Least Square Support Vector Machines (LS-SVM)
30	Yansheng Qu, Junzhou Luo, Wei Li 0017, Bo Liu 0004, Laurence Tianruo Yang	SQUARE: A New TCP Variant for Future High Speed and Long Delay Environments.	AINA	2008	DBLP DOI BibTeX RDF	odd function congestion control, RTT unfairness, TCP friendliness, SQUARE
30	Stefan Lachowicz, Hans-Jörg Pfleiderer	Fast Evaluation of the Square Root and Other Nonlinear Functions in FPGA.	DELTA	2008	DBLP DOI BibTeX RDF	FPGA, square root, nonlinear function
30	Roberto Maria Avanzi	Another Look at Square Roots (and Other Less Common Operations) in Fields of Even Characteristic.	Selected Areas in Cryptography	2007	DBLP DOI BibTeX RDF	Square root extraction, Trace computation, Point halving, Polynomial basis, Binary fields, Quadratic equations
30	Frédéric Payan, Marc Antonini	Mean Square Error Approximation for Wavelet-Based Semiregular Mesh Compression.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Weighted mean square error (MSE), butterfly scheme, geometry coding, semiregular meshes, lifting scheme, bit allocation, biorthogonal wavelet
30	Zhan Guo, Peter Nilsson 0001	A VLSI Architecture of the Square Root Algorithm for V-BLAST Detection.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	square root algorithm, VLSI, wireless LAN, ASIC, MIMO, fixed-point, 3G, HSDPA, CORDIC, BLAST
30	Anuja Jayraj Thakkar, Abdel Ejnioui	Pipelining of double precision floating point division and square root operations.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	FPGA, pipelining, floating point, division, square root
30	Kin Keung Lai, Lean Yu, Ligang Zhou, Shouyang Wang	Credit Risk Evaluation with Least Square Support Vector Machine.	RSKT	2006	DBLP DOI BibTeX RDF	Credit risk evaluation, least square support vector machine
30	Madhusudana V. S. Shashanka, Amrita Pati, Anil M. Shende	A Characterisation of Optimal Channel Assignments for Cellular and Square Grid Wireless Networks.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	cellular and square grids, channel assignment, wireless computing
30	Siguna Müller	On the Computation of Square Roots in Finite Fields.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	complexity, finite fields, square roots, efficient computation
30	Seog-Jin Kim, Kittikorn Nakprasit	On the Chromatic Number of the Square of the Kneser Graph K(2 k+1, k).	Graphs Comb.	2004	DBLP DOI BibTeX RDF	Kneser graph, Intersecting family, Graph coloring, Square
30	Yu Lan, Guoqing Chen, Davy Janssens, Geert Wets	Dilated Chi-Square: A Novel Interestingness Measure to Build Accurate and Compact Decision List.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	dilated chi-square, CBA, associative classification
30	Lu Lin, Zhong-Yun Liu	On the Square Root of an H-matrix with Positive Diagonal Elements.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	H-matrix, positive diagonal elements, square root
30	Kazunori Miyata, Takayuki Itoh, Kenji Shimada	A method for generating pavement textures using the square packing technique.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Pavement, Square packing, Stone, Texture, Subdivision surface
30	Gensoh Matsubara, Nobuhiro Ide	A Low Power Zero-Overhead Self-Timed Division and Square Root Unit Combining a Single-Rail Static Circuit with a Dual-Rail Dynamic Circuit.	ASYNC	1997	DBLP DOI BibTeX RDF	floating point, division, square root, self-timed
30	Alain Guyot, Marc Renaudin, Bachar El-Hassan, Volker Levering	Self timed division and square-root extraction.	VLSI Design	1996	DBLP DOI BibTeX RDF	self-timed integrated circuit, square-root extraction, mathematical algorithm, logic level, binary notation, iterative methods, design methodology, integrated circuit design, division, dividing circuits, quotient, pipeline arithmetic, pipelined arithmetic, functional blocks
30	Peter Soderquist, Miriam Leeser	An Area/Performance Comparison of Subtractive and Multiplicative Divide/Square Root Implementations.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	Newton-Raphson method, Goldschmidt's algorithm, microprocessor, Floating-point, division, square root, SRT
30	Billy Bob Brumley, Kimmo U. Järvinen	Fast Point Decompression for Standard Elliptic Curves.	EuroPKI	2008	DBLP DOI BibTeX RDF	square roots modulo p, elliptic curve cryptography, exponentiation, addition chains
30	Benedek Nagy	A Comparison Among Distances Based on Neighborhood Sequences in Regular Grids.	SCIA	2005	DBLP DOI BibTeX RDF	Hexagonal grid, Triangular grid, Distance, Digital geometry, Square grid, Neighborhood sequences