Results 1 to 10 of about 101,675 (161)

Olympiad-level formal mathematical reasoning with reinforcement learning. [PDF]

open access: yesNature
Hubert T   +38 more
europepmc   +1 more source

A constructive method to determine the total vertex irregularity strength of two flower graph variants. [PDF]

open access: yesMethodsX
Hinding N   +6 more
europepmc   +1 more source

Can geometric combinatorics improve RNA branching predictions? [PDF]

open access: yesBMC Bioinformatics
Poznanović S, Cardwell O, Heitsch C.
europepmc   +1 more source

Free quantum computing. [PDF]

open access: yesProc Natl Acad Sci U S A
Carette J   +4 more
europepmc   +1 more source

On Quantum Ergodicity for Higher Dimensional Cat Maps. [PDF]

open access: yesCommun Math Phys
Kurlberg P   +3 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy