Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

FLINT

The Fast Library for Number Theory (FLINT) is a C library for number theory applications. The two major areas of functionality currently implemented… 
Wikipedia

Related topics

Related topics

10 relations
Baillie–PSW primality testComputational number theoryLibrary (computing)Mathematical software
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
FLINT : Fast library for number theory
Copyright and reuse: The Warwick Research Archive Portal (WRAP) makes this work by researchers of the University of Warwick… 
  • table 1
2013
2013
Altérations des artefacts préhistoriques en silex par les processus périglaciaires : présentation des expériences conduites au centre de géomorphologie du CNRS de Caen
La confrontation entre les donnees paleoenvironnementales et les resultats d’analyse traceologique d’artefacts en silex provenant… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2012
2012
A PRESCRIBED BURN DECISION SUPPORT SYSTEM FOR THE KANSAS FLINT HILLS REGION
During March and April each year, ranchers and farmers in the Kansas Flint Hills region burn two to three million acres of… 
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 6
2008
2008
Formal Functional Verification of Device Drivers
We report on the formal functional verification of a simple device driver for an ATAPI hard disk in Isabelle/HOL. The proof is… 
  • figure 2
  • figure 1
  • figure 3
2007
2007
Pre-Late Wisconsinan Paleoenvironments in Atlantic Canada
Numerous Quaternary organic deposits of various lithologies beneath one or more till units of Wisconsinan age have been… 
  • figure 1
  • table I
  • table I
  • figure 2
  • figure 3
2004
2004
Formalization of generics for the .NET common language runtime
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel… 
  • figure 2
  • figure 1
  • figure 5
2002
2002
LFPL with Types for Deep Sharing
First-order LFPL is a functional language for non-size increasing computation with an operational semantics that allows in-place… 
  • figure 1
  • figure 4
  • figure 5
  • figure 6
2001
2001
Functional Java Bytecode ∗
We describe the design and implementation of λJVM, a functional representation of Java bytecode that makes data flow explicit… 
1999
1999
GEOLOGY AND GROUND-WATER RESOURCES OF THE LAWRENCEVILLE AREA, GEORGIA
...................................................................................................................................................................................... 
  • figure 1
  • table 1
  • table 1
  • figure 2
  • figure 3
Review
1997
Review
1997
An Overview of the Flint/ml Compiler
The FLINT project at Yale aims to build a state-of-the-art systems environment for modern type-safe languages. One important… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE