Sage Journals: Discover world-class research

Retricted access

Research article

First published 2025-2

Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics

Makoto Fujiwara, Takako Nemoto

Computability

Retricted access

Research article

First published 2021-1-20

Weihrauch and constructive reducibility between existence statements

Makoto Fujiwara

Computability

Retricted access

Research article

First published 2020-8-3

A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0,1 ]

Takako Nemoto

Computability

Retricted access

Research article

First published 2004-6

Gifted Ninth Graders' Notions of Proof: Investigating Parallels in Approaches of Mathematically Gifted Students and Professional Mathematicians

Bharath Sriraman

Journal for the Education of the Gifted

Retricted access

Research article

First published 2015-8

A reverse constraint satisfying method for earliness/tardiness scheduling problem based on improved genetic algorithm

Yabo Luo, Guangdong Feng, Feng Zhang [...]

Journal of Computational Methods in Sciences and Engineering

Open access

Research article

First published 2025-12

(FAPP) Infinity Does Macroscopic Irreversibility from Microscopic Reversibility

Karl Svozil

Quantum Economics and Finance

Retricted access

Research article

First published 2023-5

Reverse-adjustment algorithm of tooth surface precision control design for spiral bevel gears

Peng Chen, San-Min Wang, Yi-Zhi Li [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Other

First published 2006-06

Times of Life and Timing in Developmental Psychology

Kathryn E. Hood

Culture & Psychology

Retricted access

Research article

First published 2015-2

The complexity of satisfaction problems in reverse mathematics

Ludovic Patey

Computability

Retricted access

Research article

First published 2017-8-7

Iterative forcing and hyperimmunity in reverse mathematics

Ludovic Patey

Computability

Search results