distrap/library

Research library of the DistRap project.

Inspired by ##dependent library

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

B

C

• P. Cignoni, C. Rocchini, R. Scopigno (1998) Metro: measuring error on simplified surfaces
• K. Crane (2013) Discrete Differential Geometry: An Applied Introduction

D

E

• C. Elliot (2017) Compiling to categories
• T. Elliot, L. Pike, S. Winwood, P. Hickey, J. Bielman, J. Sharp, E. Siedel, J. Launchbury (2015) Guilt Free Ivory

F

• H. Fu, X. Zhong, Z. Zeng (2006) Automated and readable simplification of trigonometric expressions

• T. Flouri, K. Kobert, S. P. Pissis, A. Stamatakis (2014) An Optimal Algorithm for Computing All Subtree Repeats in Trees

G

H

I

J

• G. Jaloyan, L. Pike (2017) Lock Optimization for Hoare Monitors in Real-Time Systems

K

L

M

• E. Meijer (1991) Functional programming with bananas, lenses, envelopes and barbed wire
• J. R. Mevey (2009) Sensorless field oriented control of brushless permanent magnet synchronous motors

N

• C. Nandi (2018) Functional Programming for Compiling and Decompiling Computer-Aided Design

O

P

Q

R

S

• R. Sawhney, K.Crane (2020) Monte Carlo Geometry Processing: A Grid-Free Approach to PDE-Based Methods on Volumetric Domains
• R. Straub (2007) Exact Computation of the Hausdorff Distance between Triangular Meshes
• A. Solar-Lezama (2003) Program Synthesis by Sketching

T

U

V

W

X

Y

Z