∫ Symbolic Math - abnv · Scour

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

📐Mathematical Computing Code

github.com··Hacker News, r/LLM·Cited by 1 article

Exact noise influenced soliton solutions of a high-order stochastic nonlinear Schrödinger equation with weak nonlocal nonlinearity in a non-Kerr medium

∫Mathematical DSLs Academic

The Modal Logic of Forcing and Set-theoretic Potentialism, Peking University lectures, June/July 2026

∫Mathematical DSLs

jdh.hamkins.org·

Proof System Timelines

🏗️Calculus of Constructions Blog

Opinion | China-UK cooperation vital in ensuring the AI era puts people first

∫Mathematical DSLs News

Less-relevant results

Physical intelligence

📐Mathematical Computing News Blog

mcrawford.substack.com··Substack

Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit

🛠programming language development Blog

pyrefly.org··Hacker News

Looking for Signs of Intelligence in Chatbots

🔀Control Structures

rentruewang/inversql: Create SQL that match your selection (with explainable AI), not the other way around

∫Mathematical DSLs Code

github.com··Hacker News

Fifty years since a simple equation described the chaos of biology

📐Mathematical Computing Academic

·

A nationwide wastewater monitoring pilot to identify legal and illegal substances and enable future substance use research

📐Mathematical Computing Academic

·

Log in to enable infinite scrolling