#

surjective

Here are 2 public repositories matching this topic...

AEjonanonymous / Orbit-Sum-Origami

A Machine-Certified Universal Folding Approach to the Inverse Galois Problem.

origami galois-field group-theory inverse-problems number-theory folding interactive-theorem-proving galois-theory mathlib discriminant-analysis symmetric-polynomials lean4 rational-maps surjective constructive-algebra ai-augmented-research irreducibility orbit-sum reynolds-operator

Updated Jul 18, 2026
Lean

osamabinazam / Surjective-Bijective-and-Injective-functions

Provides the implementation of three classes (Surjective, Bijective and, Injective ) of mathematical functions in java programming language

java mathematical-functions bijective injective java-exception-handling surjective

Updated Oct 24, 2022
Java

Improve this page

Add a description, image, and links to the surjective topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the surjective topic, visit your repo's landing page and select "manage topics."