The NumbersWithNames Program

QR Code

The NumbersWithNames Program

We present the NumbersWithNames program which performs data-mining on the Encyclopedia of Integer Sequences to find interesting conjectures in number theory. The program forms conjectures by finding empirical relationships between a sequence chosen by the user and those in the Encyclopedia. Furthe...

Full description

Bibliographic Details
Main Authors:	Colton, Simon, Dennis, Louise Abigail
Format:	Conference or Workshop Item
Published:	2002
Online Access:	https://eprints.nottingham.ac.uk/323/

Similar Items

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
by: Dennis, Louise Abigail
Published: (2004)

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

Student attitudes to plagiarism and collusion within computer science
by: Dennis, Louise Abigail
Published: (2005)

When is a hill not simply a hill? Investigating nuance in (early) medieval place-names
by: Lloyd, Abigail
Published: (2025)

A Comparison of two Proof Critics: Power vs. Robustness
by: Dennis, Louise Abigail, et al.
Published: (2002)

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
by: Zimmer, Juergen, et al.
Published: (2002)

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
by: Dennis, Louise Abigail, et al.
Published: (2001)

System Description: Embedding Verification into Microsoft Excel
by: Collins, Graham, et al.
Published: (2000)

Integrating SVC and HOL with the PROSPER Toolkit
by: Stevenson, Alan, et al.
Published: (2000)

What can be learned from failed proofs of non-theorems?
by: Dennis, Louise Abigail, et al.
Published: (2005)

The racialisation of names: names and the persistence of racism in the UK
by: Wykes, Emily Jay
Published: (2013)

Methodology for Examining Plant-Names in English Place-Names
by: Rayner, Corinna
Published: (2024)

The naming of Guthlac
by: Cavill, Paul
Published: (2015)

Rippling in PVS
by: Adams, Andrew A., et al.
Published: (2003)

“Call me by my name”: Names, address, and the subjectivization of Korean women
by: Milak, Eldin
Published: (2022)

And Race is my name
by: Abdul Manaf, Nor Faridah
Published: (2019)

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction
by: Dennis, Louise Abigail, et al.
Published: (2000)

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs
by: Dennis, Louise Abigail, et al.
Published: (1999)

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
by: Dennis, Louise Abigail, et al.
Published: (2005)

Name-signature lookup system: a security enhancement to named data networking
by: Song, Zhicheng, et al.
Published: (2021)

Towns conquer: a gamified application to collect geographical names (vernacular names/toponyms)
by: Castellote, Jesus, et al.
Published: (2013)

Place-names of the Whittlewood area
by: Forward, Eleanor J.
Published: (2008)

The place names of Leicestershire and Rutland
by: Cox, Barrie
Published: (1971)

Knowledge by stipulation: the rectification of names
by: Shahab, Syed Alwi
Published: (2009)

Panel to name apex varsities
Published: (2009)

A Crocodile Named Tom
by: Pine, Anthony
Published: (2016)

Named entity recognition approaches
by: Mansouri, Alireza, et al.
Published: (2008)

Angels to live up to their name
by: Ishak, Fadhli
Published: (2013)

Student council head named
by: Sunday Star,
Published: (2015)

The importance of being [insert preferred name here]: academic naming conventions with particular reference to Malaysia
by: Dent, Michael M *
Published: (2020)

Old English sǣta and sǣtan names
by: Baker, John
Published: (2015)

Who’s afraid of the predicate theory of names?
by: Predelli, Stefano
Published: (2015)

Russell-names: an introduction to Millian descriptivism
by: Predelli, Stefano
Published: (2016)

Language-based approaches to names in literature
by: Cavill, Paul
Published: (2016)

Dietary patterns: What's in a name?
by: Boushey, Carol, et al.
Published: (2017)

Understanding place names in Southwest Australia
by: Collard, Len, et al.
Published: (2011)

Impact of Culture on perceptions of landscape names
by: Zhang, C., et al.
Published: (2015)

Truncation of some akan personal names
by: Adomako, Kwasi
Published: (2015)

Syahir, Kamariah named Best Athletes
by: Nor Salwana, Mohammad Idris
Published: (2020)

Typification of names in the genus Anaphyllum (Araceae)
by: Sivadasan, M., et al.
Published: (2016)