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

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  61 results for ""Mathematics""

Your Filters

Collection : Universite De Lorraine Language : bislama Language : catalan Language : cherokee Language : english Language : javanese Language : lingala Language : maori Language : ndonga Language : nepali Format : Academic Journals Subject : [info.info-dm]computer science [cs]/discrete mathematics [cs.dm]
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Data complexity: An FCA-based approach

Subjects: Formal concept analysis; Data complexity; Closed set and generator

  • Source: ISSN: 0888-613X ; International Journal of Approximate Reasoning ; https://hal.science/hal-03985980 ; International Journal of Approximate Reasoning, 2024, 165,

Record details

Read More Add to Saved list
×
Academic Journal

Symmetry group of the equiangular cubed sphere

Subjects: cubed sphere; spherical grid; symmetry

  • Source: ISSN: 0033-569X ; Quarterly of Applied Mathematics ; https://hal.science/hal-03071135 ; Quarterly of Applied Mathematics, 2022, 80,

Record details

Read More Add to Saved list
×
Academic Journal

Diletter and triletter comma-free codes over finite alphabets

Subjects: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]; [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

  • Source: ISSN: 1034-4942.

Record details

Read More Add to Saved list
×
Academic Journal

Fractional chromatic number, maximum degree and girth ; Nombre chromatique fractionnaire, degré maximum et maille

Subjects: graphs; fractional coloring; girth

  • Source: ISSN: 0895-4801 ; SIAM Journal on Discrete Mathematics ; https://hal.science/hal-02096426 ; SIAM Journal on Discrete Mathematics, 2021,

Record details

Read More Add to Saved list
×
Academic Journal

A study of algorithms relating distributive lattices, median graphs, and Formal Concept Analysis

Subjects: Formal Concept Analysis; Median Graph; Lattice

  • Source: ISSN: 0888-613X ; International Journal of Approximate Reasoning ; https://inria.hal.science/hal-03537744 ; International Journal of Approximate Reasoning, 2022, 142, pp.370-382.

Record details

Read More Add to Saved list
×
Academic Journal

Homotopic affine transformations in the 2D Cartesian grid

Subjects: Affine transformations; Cartesian grid; Homotopy type

  • Source: ISSN: 0924-9907.

Record details

Read More Add to Saved list
×
Academic Journal

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359508 ; Logical Methods in Computer Science, 2022, 18 (2), pp.17:1-17:29. ⟨10.46298/lmcs-18(2:17)2022⟩

Record details

Read More Add to Saved list
×
Academic Journal

Hilbert's Tenth Problem in Coq (Extended Version) ; Le dixième problème de Hilbert en Coq (version étendue)

Subjects: Hilbert’s tenth problem; Diophantine equations; Undecidability

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:35)2022⟩

Record details

Read More Add to Saved list
×
Academic Journal

Numerical upper bounds on growth of automata groups

Subjects: [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]; [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

  • Source: ISSN: 0218-1967.

Record details

Read More Add to Saved list
×
Academic Journal

Locally definable vertex set properties are efficiently enumerable

Subjects: Enumeration; Complexity; Vertex set properties

  • Source: ISSN: 0166-218X ; Discrete Applied Mathematics ; https://hal.science/hal-03594245 ; Discrete Applied Mathematics, 2021, 303,

Record details

Read More Add to Saved list
×
  • 1-10 of  61 results for ""Mathematics""