1 citations · 2 across the 8 of their papers we have counts for
9 papers
Development of grid-based and PINN solvers for electron kinetics in collisional non-thermal plasmas
Vladimir Kolobov, Lucius Schoenbaum
We compare traditional finite volume and Physics Informed Neural Network (PINN) solvers for elliptic (Poisson), hyperbolic (advection), and parabolic (diffusion) equations in 2d se…
Journalistic Voting System's Effects on Election Security Threats and Gerrymandering
Lucius Schoenbaum
The Journalistic Voting System is a proxy voting system in which journalists are delegated the task of voting on behalf of individual voters in a western-style democracy. We introd…
A Tapered Floating Point Extension for the Redundant Signed Radix 2 System Using the Canonical Recoding
Lucius T. Schoenbaum
A tapered floating point encoding is proposed which uses the redundant signed radix 2 system and is based on the canonical recoding. By making use of ternary technology, the encodi…
Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic
Lucius T. Schoenbaum
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongo…
Simulations to Analyze Cellular Voting Systems for Side Effects of Democratic Redistricting
Lucius T. Schoenbaum
Motivated by the problem of partisan gerrymandering, we introduce an electoral system for a representative democracy called democratic cellular voting, designed to make modern pack…
A Generalization of the Curry-Howard Correspondence
Lucius Schoenbaum
We present a variant of the calculus of deductive systems developed in (Lambek 1972, 1974), and give a generalization of the Curry-Howard-Lambek theorem giving an equivalence betwe…
Foundations of a Recent Extension of Category Theory and Topos Theory
Lucius T. Schoenbaum
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of t…
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface
Lucius Schoenbaum
A visual type theory is a cognitive tool that has much in common with language, and may be regarded as an exceptional form of spatial text adjunct. A mathematical visual type theor…
On the Syntax of Logic and Set Theory
Lucius T. Schoenbaum
We introduce an extension of the propositional calculus to include abstracts of predicates and quantifiers, employing a single rule along with a novel comprehension schema and a pr…