Nikolay N. Osipov

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 4

Top Topics

Collective Intelligence

Sequent Calculus

Prediction Markets

Top Venues

Program. Comput. Softw.

Publications

Alexey V. Osipov, Nikolay N. Osipov
Interpretable collective intelligence of non-rational human agents. CoRR (2022)
Nikolay N. Osipov, Alexey A. Kytmanov
Simplification of Nested Real Radicals Revisited. CASC (2021)
Nikolay N. Osipov, Alexey A. Kytmanov
An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge's Condition. Program. Comput. Softw. 47 (1) (2021)
Nikolay N. Osipov, S. D. Dalinkevich
An Algorithm for Solving a Quartic Diophantine Equation Satisfying Runge's Condition. CASC (2019)
Pavel A. Mozolyako, Nikolay N. Osipov
Virtual Prediction Markets in Medicine. ERCIM News 2015 (102) (2015)
Nikolay N. Osipov
Mechanical proof of planimetric theorems of rational type. Program. Comput. Softw. 40 (2) (2014)
Nikolay N. Osipov, Ronald Cools, Michael V. Noskov
Extremal lattices and the construction of lattice rules. Appl. Math. Comput. 217 (9) (2011)