Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

Source URL: www.ps.uni-saarland.de

De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201

Source URL: www.cs.ru.nl

• Type theory
• Philosophy of mathematics
• Proof assistants
• Automath
• Automated theorem proving
• Proof theory
• Nicolaas Govert de Bruijn
• Mathematical proof
• Foundations of mathematics
• Mathematical logic
• Theorem
• Mathematics

Automath in historisch perspectief Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Symposium ter ere van de 90ste verjaardag van N.G. de Bruijn Technische Universiteit Eindhoven 5 septemb

Source URL: www.cs.ru.nl

Questions on Iqbal et alNature Genetics 44:De novo assembly and genotyping of variants using colored de Bruijn graphs. 1. What where the practical challenges that prompted this paper? What are some of th

Source URL: genome.sph.umich.edu

• Bioinformatics
• Biology
• Academia
• Genetics
• Genotyping
• Sequence assembly
• De Bruijn
• Algorithm
• DNA read errors
• De novo transcriptome assembly

A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Philosophy of mathematics
• Logic
• Philosophy
• Mathematical logic
• Epistemology
• Formal sciences
• Constructivism
• Foundations of mathematics
• Intuitionism
• Finitary
• Formalism

Genome Assembly Using de Bruijn Graphs

Source URL: genome.sph.umich.edu

• Bioinformatics
• Genomics
• Genetic mapping
• Computational biology
• DNA sequencing
• K-mer
• Hybrid genome assembly
• Genome
• Human genome
• De novo transcriptome assembly

Variable-Order de Bruijn Graphs Christina Boucher1 , Alex Bowe2 , Travis Gagie3 , Simon J. Puglisi3 and Kunihiko Sadakane4 1 Department of Computer Science, Colorado State University, Fort Collins, CO

Source URL: christinaboucher.com

DICK DE BRUIJN MEMORIAL ISSUE This volume commemorates Nicolaas Govert (‘Dick’) de Bruijn, a Dutch mathematician who passed away on February 17, 2012 at the age of 93. De Bruijn was a very versatile mathematician. I

Source URL: www.integers-ejcnt.org

Numéro à préciser (Durée : ) On étudie dans ce problème l’ordre lexicographique pour les mots sur un alphabet fini et plusieurs constructions des cycles de De Bruijn. Les trois parties sont largement indépendan

Source URL: www.dptinfo.ens-cachan.fr

Finding where you are: Automata, graph endomorphisms, and de Bruijn graphs Peter J. Cameron University of St Andrews NBSAN, St Andrews, 24 April 2015

Source URL: www-circa.mcs.st-andrews.ac.uk