-
Notifications
You must be signed in to change notification settings - Fork 14
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[Laurent polynomials] Multiply canonical sparse rational Laurent values
domain: algebraAlgebra and algebraic operationsAlgebra and algebraic operationsfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationStatus: Open.#3615 In morluto/jacobian;[Regular languages] Count accepted words by symbol-level Parikh vectors
domain: logic-foundationsLogic, formal methods, and foundational mathematicsLogic, formal methods, and foundational mathematicsfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationStatus: Open.#3614 In morluto/jacobian;[Polynomial sums] Compute zero-based discrete antiderivatives over QQ
domain: algebraAlgebra and algebraic operationsAlgebra and algebraic operationsfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationStatus: Open.#3613 In morluto/jacobian;[Trigonometric algebra] Normalize exact identities on an algebraic torus
domain: algebraAlgebra and algebraic operationsAlgebra and algebraic operationsfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationstatus: blockedWaiting on another issue, decision, or external dependencyWaiting on another issue, decision, or external dependencyStatus: Open.#3612 In morluto/jacobian;[Validated integration] Enclose logarithmic endpoint-singular improper integrals
domain: analysisAnalysis, convexity, and analytic methodsAnalysis, convexity, and analytic methodsfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationstatus: needs-triageNew arrival awaiting taxonomy and scope reviewNew arrival awaiting taxonomy and scope reviewStatus: Open.#3611 In morluto/jacobian;[Dickman rho] Research certified piecewise ball-polynomial enclosures
domain: number-theoryNumber theory, arithmetic, and arithmetic functionsNumber theory, arithmetic, and arithmetic functionsfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationstatus: needs-triageNew arrival awaiting taxonomy and scope reviewNew arrival awaiting taxonomy and scope reviewStatus: Open.#3610 In morluto/jacobian;[Compound Poisson] Compute exact cumulant prefixes from finite rational jump laws
domain: probability-statisticsProbability, statistics, and stochastic processesProbability, statistics, and stochastic processesfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationStatus: Open.#3609 In morluto/jacobian;[Projective geometry] Compute exact Gaussian-rational cross-ratios
domain: geometryEuclidean, discrete, and computational geometryEuclidean, discrete, and computational geometryfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationstatus: blockedWaiting on another issue, decision, or external dependencyWaiting on another issue, decision, or external dependencyStatus: Open.#3608 In morluto/jacobian;[Finite group actions] Partition ordered tuple families into diagonal-action orbits
domain: algebraAlgebra and algebraic operationsAlgebra and algebraic operationsfeatureNew operation family or public capabilityNew operation family or public capabilityP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workrequest: math-operationRequest to add or extend a user-facing mathematical operationRequest to add or extend a user-facing mathematical operationStatus: Open.#3607 In morluto/jacobian;[Architecture]: Unify bounded execution around request envelopes and checked workers
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: kernelCore verification kernel and trust boundariesCore verification kernel and trust boundariesarea: mcpMCP adapter and server integrationMCP adapter and server integrationenhancementWiden or improve an existing operation's envelope, scale, or behaviorWiden or improve an existing operation's envelope, scale, or behaviorepic: executeExecute: math.run honesty, results, verify pathExecute: math.run honesty, results, verify pathP1: highShould be addressed in the current or next iterationShould be addressed in the current or next iterationStatus: Open.#3606 In morluto/jacobian;[Agent UX]: Stream truthful progress for long-running operations
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: mcpMCP adapter and server integrationMCP adapter and server integrationenhancementWiden or improve an existing operation's envelope, scale, or behaviorWiden or improve an existing operation's envelope, scale, or behaviorepic: executeExecute: math.run honesty, results, verify pathExecute: math.run honesty, results, verify pathP2: mediumImportant but not urgent; plan for upcoming workImportant but not urgent; plan for upcoming workStatus: Open.#3605 In morluto/jacobian;[Bounded search]: Make exhaustive search prefixes composable and resumable
area: architectureStructural refactoring, god classes, and design patternsStructural refactoring, god classes, and design patternsarea: kernelCore verification kernel and trust boundariesCore verification kernel and trust boundariesenhancementWiden or improve an existing operation's envelope, scale, or behaviorWiden or improve an existing operation's envelope, scale, or behaviorepic: executeExecute: math.run honesty, results, verify pathExecute: math.run honesty, results, verify pathP1: highShould be addressed in the current or next iterationShould be addressed in the current or next iterationStatus: Open.#3604 In morluto/jacobian;