Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Language : central khmer Language : crimean tatar Language : dzongkha Language : english Language : marathi Language : nepali Language : slavic languages Publisher : open publishing association

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics

Authors : Patrik Jansson; Sólrún Halla Einarsdóttir; Cezar Ionescu

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 295, Iss Proc. TFPIE 2018, Pp 79-90 (2019)

Read Online Read More Add to Saved list

Academic Journal

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming

Authors : Cezar Ionescu; Patrik Jansson

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 230, Iss Proc. TFPIE 2015/6, Pp 1-15 (2016)

Read Online Read More Add to Saved list

Academic Journal

Teaching Formal Methods and Discrete Mathematics

Authors : Mathieu Jaume; Théo Laurent

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 149, Iss Proc. F-IDE 2014, Pp 30-43 (2014)

Read Online Read More Add to Saved list

Academic Journal

Gelfand spectra in Grothendieck toposes using geometric mathematics

Authors : Bas Spitters; Steven Vickers; Sander Wolters

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 77-107 (2014)

Read Online Read More Add to Saved list

Academic Journal

The GF Mathematics Library

Authors : Jordi Saludes; Sebastian Xambó

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 79, Iss Proc. THedu 2011, Pp 102-110 (2012)

Read Online Read More Add to Saved list

Academic Journal

Mathematics Is Imprecise

Authors : Prabhakar Ragde

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 106, Iss Proc. TFPIE 2012, Pp 40-49 (2013)

Read Online Read More Add to Saved list

Academic Journal

From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

Authors : Wouter Swierstra

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 76, Iss Proc. MSFP 2012, Pp 163-177 (2012)

Read Online Read More Add to Saved list

Conference

State Complexity of the Multiples of the Thue-Morse Set

Authors : Charlier, Emilie; Cisternino, Célia; Massuir, Adeline

Subjects: Thue-Morse set; Automaton; State complexity

Source: Electronic Proceedings in Theoretical Computer Science, 305, 34-49 (2019); The Tenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019), Bordeaux, France [FR],

Read Online Read More Add to Saved list

Academic Journal

Technologies for 'Complete, Transparent & Interactive Models of Math' in Education

Authors : Walther Neuper

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 290, Iss Proc. ThEdu 2018, Pp 76-95 (2019)

Read Online Read More Add to Saved list

Academic Journal

Prototyping 'Systems that Explain Themselves' for Education

Authors : Alan Krempler; Walther Neuper

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 267, Iss Proc. ThEdu 2017, Pp 89-107 (2018)

Read Online Read More Add to Saved list