Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two; Ordered Sets, Cardinals, Integers

Subjects: Coq; Bourbaki; orders

  • Source: https://inria.hal.science/inria-00440786 ; [Research Report] RR-7150, Inria Sophia Antipolis; INRIA. 2018, pp.826.

Record details

×
Academic Journal

Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers

Subjects: Coq; Bourbaki; sets

  • Source: ISSN: 1972-5787 ; Journal of Formalized Reasoning ; https://inria.hal.science/hal-01415375 ; Journal of Formalized Reasoning, 2016, 9 (2), pp.52. ⟨10.6092/issn.1972-5787/4771⟩ ;

Record details

×
Conference

On the minimum number of inversions to make a digraph k-(arc-)strong

Subjects: inversion; tournament; k-strongPrague; Czech Republic

  • Source: MUNI journals ; EUROCOMB 2023 - European Conference on Combinatorics, Graph Theory and Applications ; https://hal.science/hal-04352250 ; EUROCOMB 2023 - European Conference on Combinatorics, Graph

Record details

×
Academic Journal

k-L(2,1)-Labelling for Planar Graphs is NP-Complete for $k\geq 4$.

Subjects: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]

  • Source: ISSN: 0166-218X ; Discrete Applied Mathematics ; https://inria.hal.science/inria-00534520 ; Discrete Applied Mathematics, 2010, 158 (16), pp.1777-1788.

Record details

×
  • 1-10 of  50 results for ""INTEGERS""