Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
ASC-Community
/
AngouriMath
Public
Notifications
You must be signed in to change notification settings
Fork
79
Star
831
Code
Issues
94
Pull requests
2
Discussions
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Wiki
Security and quality
Insights
Actions: ASC-Community/AngouriMath
Actions
All workflows
Workflows
.github/workflows/codecov.yml
.github/workflows/codecov.yml
C# Test
C# Test
C#/Kernel Build
C#/Kernel Build
C++ Build
C++ Build
C++ Test
C++ Test
Copilot
Copilot
Copilot code review
Copilot code review
Copilot coding agent
Copilot coding agent
F# Build
F# Build
F# Test
F# Test
Show more workflows...
Management
Caches
Deployments
F# Build
F# Build
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
FSharpBuild.yml
will be ignored since log searching is not yet available
2,062 workflow runs
2,062 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
A polynomial over a power of one linear with a symbol in it is writte…
F# Build
#2925:
Commit
9f89516
pushed by
Rafael-SOWNet
7m 22s
master
master
7m 22s
View workflow file
A symbolic exponent that is -1 as a value is integrated to the logari…
F# Build
#2924:
Commit
098cb2b
pushed by
Rafael-SOWNet
15m 59s
master
master
15m 59s
View workflow file
The imaginary Möbius power test asserts its verdict, not a clock
F# Build
#2923:
Pull request
#1725
synchronize by
Rafael-SOWNet
23m 39s
the-mobius-power-test-asserts-its-verdict
the-mobius-power-test-asserts-its-verdict
23m 39s
View #1725
View workflow file
The imaginary Möbius power test asserts its verdict, not a clock
F# Build
#2922:
Pull request
#1725
opened by
Rafael-SOWNet
16m 45s
the-mobius-power-test-asserts-its-verdict
the-mobius-power-test-asserts-its-verdict
16m 45s
View #1725
View workflow file
A polynomial over a power of one linear with a symbol in it is written in powers of the linear
F# Build
#2921:
Pull request
#1724
opened by
Rafael-SOWNet
18m 23s
a-polynomial-over-a-power-of-one-symbolic-linear-is-reduced-at-its-root
a-polynomial-over-a-power-of-one-symbolic-linear-is-reduced-at-its-root
18m 23s
View #1724
View workflow file
The arcsecant beside a root of x^2 - 1 is integrated right below -1 t…
F# Build
#2920:
Commit
4d1f3b7
pushed by
Rafael-SOWNet
10m 54s
master
master
10m 54s
View workflow file
A symbolic exponent that is -1 as a value is integrated to the logarithm
F# Build
#2919:
Pull request
#1723
opened by
Rafael-SOWNet
3m 28s
a-symbolic-exponent-of-minus-one-as-a-value-is-the-logarithm
a-symbolic-exponent-of-minus-one-as-a-value-is-the-logarithm
3m 28s
View #1723
View workflow file
The arcsecant beside a root of x^2 - 1 is integrated right below -1 too
F# Build
#2918:
Pull request
#1722
opened by
Rafael-SOWNet
4m 55s
the-arcsecant-substitution-carries-the-sign-of-the-argument
the-arcsecant-substitution-carries-the-sign-of-the-argument
4m 55s
View #1722
View workflow file
A binomial differential with symbols in it, or a power of x that is n…
F# Build
#2917:
Commit
51cb049
pushed by
Rafael-SOWNet
4m 9s
master
master
4m 9s
View workflow file
A binomial differential with symbols in it, or a power of x that is not whole, is integrated
F# Build
#2916:
Pull request
#1721
opened by
Rafael-SOWNet
1m 50s
a-binomial-differential-with-symbols-or-a-fractional-power
a-binomial-differential-with-symbols-or-a-fractional-power
1m 50s
View #1721
View workflow file
e^(n i arctan(a x)) to a power that is not whole is one power of a qu…
F# Build
#2915:
Commit
9f27133
pushed by
Rafael-SOWNet
1m 44s
master
master
1m 44s
View workflow file
The third case of a binomial differential is written back for a negat…
F# Build
#2914:
Commit
a7088ba
pushed by
Rafael-SOWNet
6m 56s
master
master
6m 56s
View workflow file
e^(n i arctan(a x)) to a power that is not whole is one power of a quotient of linears
F# Build
#2913:
Pull request
#1719
synchronize by
Rafael-SOWNet
6m 13s
a-fractional-exponential-of-an-imaginary-arctangent
a-fractional-exponential-of-an-imaginary-arctangent
6m 13s
View #1719
View workflow file
The third case of a binomial differential is written back for a negative x too
F# Build
#2912:
Pull request
#1720
opened by
Rafael-SOWNet
14m 22s
the-third-binomial-case-written-back-for-every-x
the-third-binomial-case-written-back-for-every-x
14m 22s
View #1720
View workflow file
Revert "The organisation is AngouriMath, asc-community renamed (#1709…
F# Build
#2911:
Commit
7a7eed7
pushed by
Rafael-SOWNet
12m 34s
master
master
12m 34s
View workflow file
The scaling rule does not simplify an integrand with the imaginary un…
F# Build
#2910:
Commit
459a531
pushed by
Rafael-SOWNet
4m 43s
master
master
4m 43s
View workflow file
e^(n i arctan(a x)) to a power that is not whole is one power of a quotient of linears
F# Build
#2909:
Pull request
#1719
opened by
Rafael-SOWNet
6m 8s
a-fractional-exponential-of-an-imaginary-arctangent
a-fractional-exponential-of-an-imaginary-arctangent
6m 8s
View #1719
View workflow file
The scaling rule does not simplify an integrand with the imaginary unit in it
F# Build
#2908:
Pull request
#1718
opened by
Rafael-SOWNet
3m 37s
the-scaling-rule-does-not-simplify-with-the-imaginary-unit
the-scaling-rule-does-not-simplify-with-the-imaginary-unit
3m 37s
View #1718
View workflow file
An even power of the secant or the cosecant under a root is written i…
F# Build
#2907:
Commit
3a3d016
pushed by
Rafael-SOWNet
4m 0s
master
master
4m 0s
View workflow file
An even power of the secant or the cosecant under a root is written in the tangent
F# Build
#2906:
Pull request
#1717
opened by
Rafael-SOWNet
2m 5s
an-even-power-of-the-secant-under-a-root
an-even-power-of-the-secant-under-a-root
2m 5s
View #1717
View workflow file
The Hermite reduction's system is solved in one row order whatever th…
F# Build
#2905:
Commit
8f3757c
pushed by
Rafael-SOWNet
5m 11s
master
master
5m 11s
View workflow file
Revert "The organisation is AngouriMath"
F# Build
#2904:
Pull request
#1716
opened by
Happypig375
6m 48s
revert-1709-the-organisation-is-angourimath
revert-1709-the-organisation-is-angourimath
6m 48s
View #1716
View workflow file
The Hermite reduction's system is solved in one row order whatever the spelling
F# Build
#2903:
Pull request
#1715
synchronize by
Rafael-SOWNet
1m 59s
the-hermite-system-in-a-fixed-row-order
the-hermite-system-in-a-fixed-row-order
1m 59s
View #1715
View workflow file
The integrand the root's substitution leaves is cancelled as written,…
F# Build
#2902:
Commit
dbe5b38
pushed by
Rafael-SOWNet
4m 32s
master
master
4m 32s
View workflow file
The Hermite reduction's system is solved in one row order whatever the spelling
F# Build
#2901:
Pull request
#1715
opened by
Rafael-SOWNet
1m 48s
the-hermite-system-in-a-fixed-row-order
the-hermite-system-in-a-fixed-row-order
1m 48s
View #1715
View workflow file
Previous
1
2
3
4
5
…
82
83
Next
You can’t perform that action at this time.