1![Types in mathematical proofs Georges Gonthier
Legacy • Interactive theorem proving Types in mathematical proofs Georges Gonthier
Legacy • Interactive theorem proving](https://www.pdfsearch.io/img/a1bb4a7171689b0ebabf0e406f5869d1.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:00
|
---|
2![20 Higher Calculus of the product of many functions 20.1 Higher Derivative of the product of many functions (1) Binomial Theorem and Leibniz Rule According to the binomial theorem in 3.1 , the following expression holds 20 Higher Calculus of the product of many functions 20.1 Higher Derivative of the product of many functions (1) Binomial Theorem and Leibniz Rule According to the binomial theorem in 3.1 , the following expression holds](https://www.pdfsearch.io/img/02be6186e1a92f4af356e2ff28173eca.jpg) | Add to Reading ListSource URL: fractional-calculus.comLanguage: English - Date: 2013-11-11 05:31:46
|
---|
3![Trajectory Reconstruction for Affine Structure-from-Motion by Global and Local Constraints Hanno Ackermann and Bodo Rosenhahn Leibniz University Hannover [removed] Trajectory Reconstruction for Affine Structure-from-Motion by Global and Local Constraints Hanno Ackermann and Bodo Rosenhahn Leibniz University Hannover [removed]](https://www.pdfsearch.io/img/545bef528f86e89db3ca1176380f5741.jpg) | Add to Reading ListSource URL: www.tnt.uni-hannover.deLanguage: English - Date: 2010-03-31 03:55:55
|
---|
4![CUP-PRODUCT FOR LEIBNIZ COHOMOLOGY AND DUAL LEIBNIZ ALGEBRAS Jean-Louis LODAY CUP-PRODUCT FOR LEIBNIZ COHOMOLOGY AND DUAL LEIBNIZ ALGEBRAS Jean-Louis LODAY](https://www.pdfsearch.io/img/ccad06408e0d6d61f4497b42bdba6cd5.jpg) | Add to Reading ListSource URL: www.math.uiuc.eduLanguage: English - Date: 2008-04-05 12:53:02
|
---|
5![](https://www.pdfsearch.io/img/b27aee27333c106d5c003d8f9b4e6b54.jpg) | Add to Reading ListSource URL: www.hf.uio.noLanguage: English |
---|