And Schafmeister isn’t the only chemist turning to modular methods of synthesis to explore vast regions of chemical space. It ...

Mass transport deposits are a fundamental component of deep-water sedimentary systems and play a crucial role in the transportation of sediments from continental slopes to deep-sea basins. However, ...

Fullerenes are hollow carbon molecules where each atom is connected to exactly three other atoms, arranged in pentagonal and hexagonal rings. Mathematically, they can be combinatorially modeled as ...

Mathematicians aren't usually the first point of call on moving day. And really, why should they be? For nearly 60 years, they couldn't even tell you whether your fancy new three-seat sofa would make ...

1 College of Science, North China University of Science and Technology, Tangshan, China. 2 Hebei Key Laboratory of Data Science and Application, Tangshan, China.

1 Economics Department, University of Lusaka, Lusaka, Zambia. 2 Department of Mathematics, Copperbelt University, Kitwe, Zambia. Chapter 1, underlines some important concepts in our paper. We ...

With the recent explosion in the amount, the variety, and the dimensionality of available data, identifying, extracting, and exploiting their underlying structure has become a problem of fundamental ...

Consider the graph whose vertex set is the set of triangulations of an n-gon, with an edge between two vertices whenever the corresponding triangulations are related by a flip. It is well-known that ...

In this post I shall discuss the paper “On a Topological Topos” by Peter Johnstone. The basic problem is that algebraic topology needs a “convenient category of spaces” in which to work: the category ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...