Functions and Jordan canonical forms of Riordan matrices
Posted on March 15, 2019
(Last modified on July 10, 2026)
|
1 min
|
Massimo Nocentini Donatella Merlini
The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
(Last modified on July 10, 2026)
|
19 min
|
Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann
Algebraic Generating Functions for Languages Avoiding Riordan Patterns
Posted on January 21, 2018
(Last modified on July 10, 2026)
|
1 min
|
Massimo Nocentini Donatella Merlini
BiRank
Towards Ranking on Bipartite Graphs
Posted on September 20, 2016
(Last modified on June 18, 2026)
|
2 min
|
Xiangnan He Ming Gao Min-Yen Kan Dingxian Wang
Axioms for Centrality
Posted on August 9, 2013
(Last modified on February 12, 2026)
|
2 min
|
Paolo Boldi Sebastiano Vigna
Aggregation predicates for µkanren
Groups, window functions, sets and enumerations
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
3 min
|
Massimo Nocentini
miniKanren, live and untagged
Quine generation via relational interpreters
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
30 min
|
William E. Byrd Eric Holk Daniel P. Friedman
Teaching the art of computer programming
Posted on May 6, 2011
(Last modified on July 10, 2026)
|
1 min
|
Frank Ruskey
Pure, declarative, and constructive arithmetic relations
A declarative pearl
Posted on April 14, 2008
(Last modified on July 10, 2026)
|
1 min
|
William E. Byrd Oleg Kiselyov Daniel P. Friedman Chung-Chieh Shan
The igraph software package for complex network research
Posted on January 1, 2006
(Last modified on February 11, 2026)
|
1 min
|
Massimo Nocentini