Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2020

2020

In 1977, Strassen invented a famous baby-step / giant-step algorithm that computes the factorial N! in arithmetic complexity… Expand

2018

2018

Abstract In order to resolve the key escrow in identity-based scheme and the significant cost of using a PKI system in… Expand

Highly Cited

2016

Highly Cited

2016

Very deep convolutional networks with hundreds of layers have led to significant reductions in error on competitive benchmarks… Expand

2014

2014

39 p., tablas, mapas, graf. -- Post-print del articulo publicado en Journal of Biogeography. Version revisada y corregida.

2013

2013

In this paper we present several algorithms that can find proofs of primality in deterministic polynomial time for some primes… Expand

2013

2013

Formula simplification is important for the performance of SAT solvers. However, when applied until completion, powerful… Expand

Highly Cited

2007

Highly Cited

2007

Kernel regression is a well-established method for nonlinear regression in which the target value for a test point is estimated… Expand

2001

2001

This paper focuses on how to use Pocklington?s criterion to produce efficient formal proof-objects for showing primality of large… Expand

2001

2001

The standard OpenMath is an enabling technology for creating an integrated computer environment in which software packages for… Expand

2001

2001

We describe in this article how we have been able to extend the record for computationsof discrete logarithmsin characteristic 2… Expand