## Invitation to Fixed-Parameter Algorithms

*Rolf Niedermeier*

- Published in print:
- 2006
- Published Online:
- September 2007
- ISBN:
- 9780198566076
- eISBN:
- 9780191713910
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198566076.001.0001
- Subject:
- Mathematics, Combinatorics / Graph Theory / Discrete Mathematics

This book provides an introduction to the concept of fixed-parameter tractability. The corresponding design and analysis of efficient fixed-parameter algorithms for optimally solving combinatorially ... More

## Fast Computation on Massive Data Sets

*Željko Ivezi, Andrew J. Connolly, Jacob T. VanderPlas, Alexander Gray, Željko Ivezi, Andrew J. Connolly, Jacob T. VanderPlas, and Alexander Gray*

### in Statistics, Data Mining, and Machine Learning in Astronomy: A Practical Python Guide for the Analysis of Survey Data

- Published in print:
- 2014
- Published Online:
- October 2017
- ISBN:
- 9780691151687
- eISBN:
- 9781400848911
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691151687.003.0002
- Subject:
- Physics, Particle Physics / Astrophysics / Cosmology

This chapter describes basic concepts and tools for tractably performing the computations described in the rest of this book. The need for fast algorithms for such analysis subroutines is becoming ... More

## ALGORITHMIC THEORIES OF FINITELY GENERATED SOLUBLE GROUPS

*John C. Lennox and Derek J. S. Robinson*

### in The Theory of Infinite Soluble Groups

- Published in print:
- 2004
- Published Online:
- September 2007
- ISBN:
- 9780198507284
- eISBN:
- 9780191709326
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198507284.003.0009
- Subject:
- Mathematics, Pure Mathematics

This chapter discusses the word, generalized word, and conjugacy problems; algorithmic problems for polycyclic groups; soluble minimax groups; finitely generated metabelian groups; and submodule ... More

## Limit Theorems in Stochastic Geometry

*Tomasz Schreiber*

### in New Perspectives in Stochastic Geometry

- Published in print:
- 2009
- Published Online:
- February 2010
- ISBN:
- 9780199232574
- eISBN:
- 9780191716393
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199232574.003.0004
- Subject:
- Mathematics, Geometry / Topology

This chapter gives a survey of limit techniques used in stochastic geometry, emphasizing the interplay of classical techniques with geometric and algorithmic ideas.

## Plausible Reasoning

*David Hodgson*

### in Rationality + Consciousness = Free Will

- Published in print:
- 2012
- Published Online:
- May 2012
- ISBN:
- 9780199845309
- eISBN:
- 9780199932269
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199845309.003.0004
- Subject:
- Philosophy, Philosophy of Mind, General

In Chapter 3, I consider one very important aspect of our rationality, namely our ability to engage in plausible reasoning; that is, reasoning in which the premises or data do not entail the ... More

## The Uniqueness of Mathematics as a Social Practice

*Jody Azzouni*

### in Tracking Reason: Proof, Consequence, and Truth

- Published in print:
- 2006
- Published Online:
- October 2011
- ISBN:
- 9780195187137
- eISBN:
- 9780199850570
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780195187137.003.0010
- Subject:
- Philosophy, Logic/Philosophy of Mathematics

Before turning to mathematical practice, the chapter notes two presuppositions of any empirical study of the social inducing of consensus. First, such social inducing presupposes evidence of the ... More

## The Derivation-Indicator View of Mathematical Practice

*Jody Azzouni*

### in Tracking Reason: Proof, Consequence, and Truth

- Published in print:
- 2006
- Published Online:
- October 2011
- ISBN:
- 9780195187137
- eISBN:
- 9780199850570
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780195187137.003.0011
- Subject:
- Philosophy, Logic/Philosophy of Mathematics

This chapter focuses on a distinction between a proof, which appears in customary mathematical discourse and has an irreducible semantic content, and a derivation, which is a syntactic object of some ... More

## The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

*Jan von Plato*

- Published in print:
- 2017
- Published Online:
- May 2018
- ISBN:
- 9780691174174
- eISBN:
- 9781400885039
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691174174.001.0001
- Subject:
- History, History of Science, Technology, and Medicine

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. This book draws on original sources and rare ... More

## The Logical Foundations of Means‐End Reasoning

*John L. Pollock*

### in Common Sense, Reasoning, and Rationality

- Published in print:
- 2002
- Published Online:
- February 2006
- ISBN:
- 9780195147667
- eISBN:
- 9780199785865
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0195147669.003.0003
- Subject:
- Philosophy, Metaphysics/Epistemology

This chapter focuses on one aspect of practical cognition — plan-construction. Human plan-construction is generally based on means-end reasoning. Means-end reasoning is concerned with finding the ... More

## Quantum Chaos, The Theory of Complexity, and Other Topics

*Robert C. Hilborn*

### in Chaos and Nonlinear Dynamics: An Introduction for Scientists and Engineers

- Published in print:
- 2000
- Published Online:
- January 2010
- ISBN:
- 9780198507239
- eISBN:
- 9780191709340
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198507239.003.0012
- Subject:
- Physics, Theoretical, Computational, and Statistical Physics

This chapter explores the connection between quantum mechanics, the theory of particle behaviour at the atomic scale, and classical chaos. The essential issue is the behaviour of quantum systems when ... More