No program? No problem!

[Voria Labs] has created a whole bunch of artworks referred to as Lumanoi Interactive Light Sculptures. A new video explains the hardware behind these beautiful glowing pieces, as well as the magic ...

Who’s interested in a brand new, from-scratch boundary representation (BREP) kernel? How about one that has no topological naming problem, a web-native parametric CAD front end to play with, and has ...

Holidays bring celebration, rest and, for many families, long stretches of indoor time. For some, this means tabletop games quickly reappear on kitchen tables. Games provide opportunities for learning ...

The elite team of Karate Cats have completed their training and are now ready to compete to be maths champions! Join the Karate Cats and improve your KS1 maths skills. Earn the bronze, silver and gold ...

Python Play is an excellent choice for beginner programmers to get started with graphics programming. It was designed to have similar commands and simplicity to MIT's Scratch and is distinguished from ...

ESBMC (the Efficient SMT-based Context-Bounded Model Checker) is a mature, permissively licensed open-source context-bounded model checker that automatically detects or proves the absence of runtime ...

Be in the know. Join the Mathematical Science Alumni Group.

Visit us in Washington, DC and Chantilly, VA to explore hundreds of the world’s most significant objects in aviation and space history. Free timed-entry passes are required for the Museum in DC.