Results 131 to 140 of about 28,310 (224)

A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. [PDF]

J Formaliz Reason, 2018
Narkawicz A, Munoz C, Dutle A.
europepmc   +1 more source

The Complex Plank Problem, Revisited. [PDF]

Discrete Comput Geom
Ortega-Moreno O.
europepmc   +1 more source

Improved (DFT) Generalized k-nearest information systems on Molecular QSAR-QMMM Cryptographic Mining and Chern-Simons Weighted ℓneuron(ι):=φ∘D∘R2∘S∘R1 Topologies for the generation of the Roccustyrna Ligand Targeting SARS-COV-2 D614G Binding Sites.

, 2021
Grigoriadis I.
europepmc   +1 more source

Kolmogorovian versus Non-Kolmogorovian Probabilities in Contextual Theories. [PDF]

Entropy (Basel), 2021
Garola C.
europepmc   +1 more source

The common invariant subspace problem and Tarski’s theorem

, 2017
G. Pastuszak
semanticscholar   +1 more source

Formal Proof of Banach-Tarski Paradox

Journal of Formalized Reasoning, 2017
D. D. Rauglaudre
semanticscholar   +1 more source

The limit of human intelligence. [PDF]

Heliyon
Acharjee S, Gogoi U.
europepmc   +1 more source

Neo-Russellian Abstractionism. [PDF]

Erkenntnis
Assadian B.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Fast algorithm to identify minimal patterns of synchrony through fibration symmetries in large directed networks. [PDF]

Chaos, 2022
Monteiro HS, Leifer I, Reis SDS, Andrade JS, Makse HA.   +4 more
europepmc   +1 more source