Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list

Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Authors : de Frutos-Fernández, María Inés; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo;

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

Source: CPP 2024 ; https://ujm.hal.science/ujm-04222610 ; CPP 2024, Jan 2024, London, United Kingdom

Record details

Read More Add to Saved list

Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Authors : de Frutos-Fernández, María Inés; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo;

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list

Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Authors : de Frutos-Fernández, María Inés; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo;

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

Source: CPP 2024 ; https://ujm.hal.science/ujm-04222610 ; CPP 2024, Jan 2024, London, United Kingdom

Record details

Read More Add to Saved list

Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Authors : de Frutos-Fernández, María Inés; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo;

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list

Conference

Some thoughts on the near-future Digital Mathematics Library

Authors : Bouche, Thierry;

Subjects: Digital mathematics library; [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]Birmingham; United Kingdom

Source: Towards Digital Mathematics Library ; DML 2008 workshop ; https://hal.science/hal-00347712 ; DML 2008 workshop, Jul 2008, Birmingham, United

Record details

Read More Add to Saved list

Conference

Digital Mathematics Libraries: The Good, the Bad, the Ugly

Authors : Bouche, Thierry;

Subjects: NUMDAM; CEDRAM; mini-DMLBirmingham; United Kingdom

Source: Intelligent Computer Mathematics ; 7th International Conference, MKM 2008 ; https://hal.archives-ouvertes.fr/hal-00347705 ; 7th International Conference, MKM 2008, Jul

Record details

Read More Add to Saved list

Conference

Some thoughts on the near-future Digital Mathematics Library

Authors : Bouche, Thierry;

Subjects: Digital mathematics library; [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]Birmingham; United Kingdom

Source: Towards Digital Mathematics Library ; DML 2008 workshop ; https://hal.archives-ouvertes.fr/hal-00347712 ; DML 2008 workshop, Jul 2008, Birmingham,

Record details

Read More Add to Saved list

Conference

Digital Mathematics Libraries: The Good, the Bad, the Ugly

Authors : Bouche, Thierry;

Subjects: NUMDAM; CEDRAM; mini-DMLBirmingham; United Kingdom

Source: 7th International Conference, MKM 2008https://hal.science/hal-003477057th International Conference, MKM 2008, Jul 2008, Birmingham,, United Kingdom.

Record details

Read More Add to Saved list