A Rational Reconstruction of a System for Experimental Mathematics

article

A Review of Mathematical Knowledge Management

article

A canonical form for piecewise defined functions

A generative geometric kernel

A kinetic model for the oxidation of silicon germanium alloys

A knowledge-based approach to scientific software development

article

An empirical comparison of first-person shooter information displays: HUDs, diegetic displays, and spatial representations

Bimonadic Semantics for Basic Pattern Matching Calculi

Case Studies in Model Manipulation for Scientific Computing

Computing with Semirings and Weak Rig Groupoids

Control-Flow Semantics for Assembly-Level Data-Flow Graphs

Diagetic vs. non-diagetic game displays

article

Differences in Perspective and Software Scaling

article

Effects of Bezel Size in Large Tiled Display Gaming

Effects of interior bezel size and configuration on gaming performance with large tiled displays

article published in 2015

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

article

Function Substitution: Towards Constraint Solving in Software Testing

scholarly article published August 2012

Gaussian Elimination: A case study in efficient genericity with MetaOCaml

Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574

article published in 2011

High-Level Theories

article

How to Bake a Quantum Π

scientific article published on 15 August 2024

MathScheme: Project Description

article

Mechanized Mathematics

Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code

Partial evaluation of Maple

Partial evaluation of Maple

Preface

Probabilistic Inference by Program Transformation in Hakaru (System Description)

Realms: A Structure for Consolidating Knowledge about Mathematical Theories

article

SAGA: A DSL for Story Management

Scale effects in "bullet hell" games

article

Seismology software: state of the practice

scholarly article

Simplifying Probabilistic Programs Using Computer Algebra

scholarly article by Jacques Carette & Chung-Chieh Shan published 2016 in Lecture Notes in Computer Science

State of the practice for mesh generation and mesh processing software

Symbolic Domain Decomposition

Symbolic Interpretation of Legacy Assembly Language

The Sparsity Challenges

Theory Presentation Combinators

Towards typing for small-step direct reflection

article

Understanding expression simplification

Uniform vs. non-uniform scaling of shooter games on large displays

With a Few Square Roots, Quantum Computing Is as Easy as Pi

scientific article published on 05 January 2024