Descriptor: "formalised mathematics" / Database: Springer Nature Journals - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"formalised mathematics"' showing total 4 results

Start Over Descriptor "formalised mathematics" Database Springer Nature Journals

4 results on '"formalised mathematics"'

1. Single-Set Cubical Categories and Their Formalisation with a Proof Assistant: Single-Set Cubical Categories and Their Formalisation...

Author: Malbos, Philippe, Massacrier, Tanguy, and Struth, Georg
Published: 2024
Full Text: View/download PDF

2. An Isabelle/HOL Formalisation of Green’s Theorem

Author: Abdulaziz, Mohammad and Paulson, Lawrence C.
Published: 2019
Full Text: View/download PDF

3. Building program construction and verification tools from algebraic principles

Author: Armstrong, Alasdair, Gomes, Victor B. F., and Struth, Georg
Published: 2016
Full Text: View/download PDF

4. On the Fine-Structure of Regular Algebra

Author: Foster, Simon and Struth, Georg
Published: 2015
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results